get rid of accidental second space

This commit is contained in:
Roger Dingledine 2019-06-29 22:26:00 -04:00
parent c34a6b922f
commit a5911c4551