Skip to content
This repository was archived by the owner on Mar 6, 2025. It is now read-only.

Version bump for 0.7.0 #31

Merged
merged 2 commits into from
Dec 10, 2018
Merged

Version bump for 0.7.0 #31

merged 2 commits into from
Dec 10, 2018

Conversation

ludeeus
Copy link
Owner

@ludeeus ludeeus commented Dec 9, 2018

Marked as WIP until #32 is resolved
Can be merged after #33

@ludeeus ludeeus changed the title Version bump Version bump for 0.7.0 Dec 9, 2018
@ludeeus ludeeus changed the title Version bump for 0.7.0 WIP: Version bump for 0.7.0 Dec 9, 2018
@ludeeus ludeeus changed the title WIP: Version bump for 0.7.0 Version bump for 0.7.0 Dec 9, 2018
@eliseomartelli eliseomartelli merged commit 6d80588 into master Dec 10, 2018
@delete-merged-branch delete-merged-branch bot deleted the 0.7.0 branch December 10, 2018 15:54
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants