Skip to content

Conversation

@gallais
Copy link
Member

@gallais gallais commented Mar 18, 2019

No description provided.

@gallais
Copy link
Member Author

gallais commented Mar 18, 2019

I have the impression that part of the problem is, we start from a 0.17 CHANGELOG.
So I still need to clean that up.

@gallais gallais added this to the v1.0 milestone Mar 18, 2019
@gallais
Copy link
Member Author

gallais commented Mar 18, 2019

Can you please have a look @ajrouvoet. Is this all of the content?

@ajrouvoet
Copy link
Contributor

@gallais Yeah this looks good

@MatthewDaggitt MatthewDaggitt merged commit 53a17de into master Mar 23, 2019
@MatthewDaggitt MatthewDaggitt deleted the all-ops-fixed branch March 23, 2019 03:36
@MatthewDaggitt
Copy link
Collaborator

MatthewDaggitt commented Mar 23, 2019

Thanks for rescuing this @gallais

@ajrouvoet
Copy link
Contributor

Indeed, sorry I didn't get back to it. I'm rebasing the monotone predicate monad PR though, which is what this was prep for.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants