Remove a double space in a string

Part of #1789
This commit is contained in:
Colomban Wendling 2018-03-01 16:45:45 -06:00
parent 09a1f9df1a
commit 5a2f4b4010
45 changed files with 45 additions and 45 deletions