remove an extra space

FossilOrigin-Name: 7ed556703dd934593f0443b0d3fe7b86d743f35c50ac66c001c98b00cb3ee37c
This commit is contained in:
crc 2020-12-01 20:31:29 +00:00
parent b05806fcd8
commit 74b726049b