Skip to content

Better handle annotations with zero elements.#398

Merged
manthey merged 1 commit intomasterfrom zero-element-annotationsNov 19, 2019
+3-2

Commits

Commits on Nov 19, 2019