Remove a superfluous space

This commit is contained in:
jvoisin 2020-10-29 18:17:32 +01:00
parent 5792838333
commit 2c99e71626