remove superfluous space

[ci skip]

(cherry-picked from commit eabf6e2635)
This commit is contained in:
Severin Glöckner 2018-09-04 00:50:09 +02:00
parent 7e63932c8e
commit a2b4ce4ee1