Skip to content

Conversation

@mfeurer
Copy link
Collaborator

@mfeurer mfeurer commented Aug 19, 2019

so that we actually know that we're currently on a development version

@mfeurer mfeurer requested a review from PGijsbers August 19, 2019 14:30
@PGijsbers PGijsbers merged commit 4a6c980 into develop Aug 20, 2019
@PGijsbers PGijsbers deleted the mfeurer-patch-2 branch August 20, 2019 08:15
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