Skip to content

Fix minus to minus hypen again#20

Merged
tomtung merged 3 commits into
tomtung:masterfrom
Siedlerchr:patch-1
May 1, 2022
Merged

Fix minus to minus hypen again#20
tomtung merged 3 commits into
tomtung:masterfrom
Siedlerchr:patch-1

Conversation

@Siedlerchr

@Siedlerchr Siedlerchr commented Apr 19, 2022

Copy link
Copy Markdown
Contributor

As noted in #15 (comment)
Replace - with hypen minus and \textminus with \u2212

Replace - with hypen minus and \textminus with \u2212
@Siedlerchr

Copy link
Copy Markdown
Contributor Author

We would greatly appreciate it if we could get this fixed in a new version, so we can include the new version in our next release.

@tomtung

tomtung commented Apr 22, 2022

Copy link
Copy Markdown
Owner

Thanks for the change! I was going to do this but got a bit busy lately.

@tomtung tomtung merged commit 22820ed into tomtung:master May 1, 2022
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