Skip to content

Conversation

@wouterj
Copy link
Member

@wouterj wouterj commented Feb 6, 2016

No description provided.

wouterj added a commit that referenced this pull request Feb 6, 2016
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)
@wouterj wouterj closed this Feb 6, 2016
@wouterj wouterj deleted the DerStoffel-add_annotation_to_glossary branch February 6, 2016 10:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants