Remove spurious space

This commit is contained in:
David de Boer
2015-05-07 14:40:41 +02:00
parent 9bff0ae65f
commit 2d543d7097