Remove spurious space

This commit is contained in:
Romain Vimont 2020-11-03 17:08:21 +01:00
parent 83082406d3
commit ad5f567f07