This should fix #318#331

Merged

robertmuehsig merged 2 commits intomasterfrom

bug/318-rename-clitool

Dec 1, 2019

Commits on Oct 28, 2019

This should fix #318
robertmuehsig
committed

Commits on Dec 1, 2019

Merge branch 'master' into bug/318-rename-clitool
robertmuehsig
authored