Remove extraneous space.

This commit is contained in:
Richard W.M. Jones 2017-10-17 12:22:41 +01:00
parent 9e362f5458
commit b52116c5f3