Skip to content

Name annotations by default if they have no name.#843

Merged
manthey merged 1 commit intomasterfrom annotation-default-nameApr 29, 2022