Skip to content

This should fix #318#331

Merged
robertmuehsig merged 2 commits intomasterfrom
bug/318-rename-clitool
Dec 1, 2019
Merged

This should fix #318#331
robertmuehsig merged 2 commits intomasterfrom
bug/318-rename-clitool

Conversation

@robertmuehsig
Copy link
Copy Markdown
Collaborator

No description provided.

@GregorBiswanger
Copy link
Copy Markdown
Member

@robertmuehsig "This branch has conflicts that must be resolved"

@robertmuehsig robertmuehsig merged commit 0222213 into master Dec 1, 2019
@robertmuehsig robertmuehsig deleted the bug/318-rename-clitool branch May 1, 2020 20:31
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.

2 participants