Fix over-zealous whitespace removal.
authorMike Taylor <mike@indexdata.com>
Mon, 29 Sep 2014 15:36:16 +0000 (16:36 +0100)
committerMike Taylor <mike@indexdata.com>
Mon, 29 Sep 2014 15:36:16 +0000 (16:36 +0100)

No differences found