Skip to content

Conversation

@mfeurer
Copy link
Collaborator

@mfeurer mfeurer commented May 1, 2018

This PR bumps the version number for the develop branch so that we can continue developing without any version clashes.

@mfeurer mfeurer requested a review from janvanrijn May 1, 2018 07:06
@mfeurer
Copy link
Collaborator Author

mfeurer commented May 4, 2018

@janvanrijn ping

@mfeurer mfeurer requested a review from PGijsbers May 15, 2018 16:45
@mfeurer mfeurer merged commit c3a0104 into develop May 16, 2018
@mfeurer mfeurer deleted the mfeurer-patch-1 branch May 16, 2018 07:36
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.

3 participants