Skip to content

Circle 2.0, pandoc-2.0, lts-10.0#42

Merged
pbrisbin merged 6 commits intomasterfrom
pr/40
Dec 22, 2017
Merged

Circle 2.0, pandoc-2.0, lts-10.0#42
pbrisbin merged 6 commits intomasterfrom
pr/40

Conversation

@pbrisbin
Copy link
Copy Markdown
Owner

This is #40 and #41, for CI testing.

@pbrisbin pbrisbin force-pushed the pr/40 branch 2 times, most recently from 6b4cca0 to 4ec859e Compare December 22, 2017 14:38
@pbrisbin pbrisbin mentioned this pull request Dec 22, 2017
@pbrisbin pbrisbin merged commit c3ba27c into master Dec 22, 2017
@pbrisbin
Copy link
Copy Markdown
Owner Author

Thanks @cdepillabout! I will release soon, next week at the latest.

@pbrisbin pbrisbin deleted the pr/40 branch December 22, 2017 19:42
@cdepillabout
Copy link
Copy Markdown

@pbrisbin Thanks for merging this in.

Would you be able to cut a new release to get these changes on Hackage?

@pbrisbin
Copy link
Copy Markdown
Owner Author

Oh no, I thought I had! Will do today. Thanks for the bump.

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