Skip to content

Fix indentation bug #1881 - #1968

Closed
DavidLindbom wants to merge 1 commit into
purescript:masterfrom
DavidLindbom:bugfix-1881-v2
Closed

Fix indentation bug #1881#1968
DavidLindbom wants to merge 1 commit into
purescript:masterfrom
DavidLindbom:bugfix-1881-v2

Conversation

@DavidLindbom

Copy link
Copy Markdown
Contributor

Copy of PR #1913

@paf31 paf31 added this to the 0.9.0 milestone Apr 5, 2016
@paf31 paf31 mentioned this pull request Apr 10, 2016
15 tasks
@paf31 paf31 modified the milestones: 0.9.0, 0.10.0 Apr 10, 2016
@paf31 paf31 added this to the 0.9.0 milestone Apr 24, 2016
@paf31

paf31 commented Apr 30, 2016

Copy link
Copy Markdown
Contributor

@DavidLindbom Could you please reopen this against the 0.9 branch, and I'll get it merged in?

@DavidLindbom

Copy link
Copy Markdown
Contributor Author

Like this #2078?

@paf31

paf31 commented May 1, 2016

Copy link
Copy Markdown
Contributor

Yes, thanks!

@paf31 paf31 closed this May 1, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants