Fix bug where mm is mistakenly replaced with hmm in e.g. 20mm (#659)

Co-authored-by: Jong Wook Kim <jongwook@nyu.edu>
This commit is contained in:
Markus Hennerbichler
2023-01-18 18:41:11 +00:00
committed by GitHub
parent 8135a7c31c
commit ea1c266709
2 changed files with 1 additions and 1 deletions

View File

@@ -1737,6 +1737,5 @@
"yoghurt": "yogurt",
"yoghurts": "yogurts",
"mhm": "hmm",
"mm": "hmm",
"mmm": "hmm"
}