Merge pull request #1419 from nostodnayr/master

Removed double spaces after punctuation in user-facing strings
This commit is contained in:
Maurice Parker 2019-12-09 13:14:15 -07:00 committed by GitHub
commit cd0ec05dbb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
5 changed files with 6 additions and 6 deletions