Remove superfluous space (#8533)

This commit is contained in:
Christoph Thiede
2022-10-04 15:40:38 +02:00
committed by GitHub
parent 9ea7033aec
commit f1652299fe