mark: fix extraneous spaces in dummy type-checking marks

This commit is contained in:
Ran Benita 2020-07-29 11:58:54 +03:00
parent f9837f953c
commit 54e08b7230
1 changed files with 3 additions and 3 deletions