bump version #542
Hm this is unfortunate. We should update our Release Procedure. Any suggestions welcome.
Can you update this to 3.0.1?
Reminder: Before merging, this pull request must be merged in Master.
Oh something is wrong here. This branch contains all changes from development. It also must be forked from master instead.
I rebased mueller/bump-version onto master to isolate the changes.
Unfortunately I had to force push it back to keep this PR, sorry for the inconvenience.
No due date set.
No dependencies set.
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?