Skip to content

Fix indentation bug #1881#1968

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

Fix indentation bug #1881#1968
DavidLindbom wants to merge 1 commit intopurescript: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
Copy link
Copy Markdown
Contributor

paf31 commented Apr 30, 2016

@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
Copy link
Copy Markdown
Contributor

paf31 commented May 1, 2016

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