Add a space after a dot (#1455)

This commit is contained in:
Jérôme Petazzoni 2017-01-31 17:11:33 -08:00 committed by John Mulhausen
parent 7d9b7e0672
commit 02ed910010
1 changed files with 1 additions and 1 deletions