Delete a blank that messed up punctuation.

This commit is contained in:
Jens Schweikhardt 2022-03-05 22:52:52 +01:00
parent 455e0b9ba5
commit e36c256040