Merge pull request #3778 from sckunkle/master

Fix double space message.
This commit is contained in:
Vojtěch Bubník
2020-03-05 09:41:43 +01:00
committed by GitHub