Skip to content

Conversation

@tboerger
Copy link
Contributor

…ble to latest version

@tboerger tboerger merged commit 676e0d5 into master May 14, 2020
@delete-merged-branch delete-merged-branch bot deleted the upgrade-and-fix branch May 14, 2020 22:22
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