Skip to content

Fixed a bug which caused that creating a branch didn't work anymore.#6071

Merged
jbicker merged 2 commits intomasterfrom branch-creation-fixAug 30, 2019

Commits

Commits on Aug 30, 2019