Update comment.
authorMike Taylor <mike@indexdata.com>
Fri, 23 Aug 2013 12:59:57 +0000 (13:59 +0100)
committerMike Taylor <mike@indexdata.com>
Fri, 23 Aug 2013 12:59:57 +0000 (13:59 +0100)

No differences found