Skip to content

Conversation

@Happypig375
Copy link
Collaborator

Implements #113

@Happypig375 Happypig375 merged commit 5f80b95 into master Jun 1, 2020
@Happypig375 Happypig375 added the Resolution/Implemented The described enhancement or housekeeping work has been implemented. label Jun 1, 2020
@Happypig375 Happypig375 deleted the issue113/StickPunctuationToInlineMaths branch June 1, 2020 08:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Resolution/Implemented The described enhancement or housekeeping work has been implemented. Type/Bug

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants