bump version #542
Loading…
x
Reference in New Issue
Block a user
No description provided.
Delete Branch "mueller/bump-version"
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?
Might be worth making a new subversion for this?
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.
bumped it to v3.0.1
Oh something is wrong here. This branch contains all changes from development. It also must be forked from master instead.
dude, I'm just fixing this right now...
1821a4a816
tobd29688307
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.