Skip to content

fix faulty label visibility behaviour described in #451#452

Merged
jopohl merged 1 commit intomasterfrom labelvisMay 30, 2018
+6-12

Commits

Commits on May 30, 2018