Tweak another logging message.
authorMike Taylor <mike@indexdata.com>
Thu, 15 May 2014 11:18:11 +0000 (12:18 +0100)
committerMike Taylor <mike@indexdata.com>
Thu, 15 May 2014 11:18:11 +0000 (12:18 +0100)

No differences found