Reverted removal of a trailing space.

My editor removes trailing spaces while saving. Not confusing things I
reverted that change.
This commit is contained in:
Ulrich Kunitz 2018-10-23 08:43:19 +02:00
parent 4f702e4445
commit f0fe9b0f02