Skip to content

Update for PureScript 0.11#6

Merged
garyb merged 1 commit into
masterfrom
ps-0.11
Mar 28, 2017
Merged

Update for PureScript 0.11#6
garyb merged 1 commit into
masterfrom
ps-0.11

Conversation

@garyb

@garyb garyb commented Mar 25, 2017

Copy link
Copy Markdown
Member

No description provided.

@garyb garyb force-pushed the ps-0.11 branch 3 times, most recently from cf7c9a8 to ca23c96 Compare March 26, 2017 20:47
@sudhirvkumar

Copy link
Copy Markdown

@garyb all checks are passing, this can be merged right?

@garyb

garyb commented Mar 28, 2017

Copy link
Copy Markdown
Member Author

Yeah, thanks! I put this on hold when I ran into purescript/purescript#2787

@sudhirvkumar

Copy link
Copy Markdown

@garyb oh ok thanks. I am just super excited to start using 0.11 👍

@garyb garyb merged commit 229a8a9 into master Mar 28, 2017
@garyb garyb deleted the ps-0.11 branch March 28, 2017 16:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants