Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
feature #6230 Add annotation to glossary (rebased) (DerStoffel)
This PR was submitted for the master branch but it was merged into the 2.3 branch instead (closes #6230). Discussion ---------- Add annotation to glossary (rebased) Commits ------- 914523c Add annotation to glossary (rebased)
- Loading branch information