Resolve completely trivial alleged conflict that git should have been able to handle...
authorMike Taylor <mike@indexdata.com>
Thu, 28 Apr 2016 13:59:35 +0000 (14:59 +0100)
committerMike Taylor <mike@indexdata.com>
Thu, 28 Apr 2016 13:59:35 +0000 (14:59 +0100)

Trivial merge