minor bugfix (!7) · Merge requests · asciidoc3 / asciidoc3 · GitLab

The source project of this merge request has been removed.

bgehrke requested to merge (removed):master into master Jan 21, 2019

see https://asciidoc3.org/blog/minor-bug-already-fixed-asciidoc3-303.html