Remove unintended space (#1501)

This commit is contained in:
Jihwan Oh 2018-07-07 00:02:50 +09:00 committed by Niklas von Hertzen
parent ce45c1bbdd
commit 4e02a4c7a1