Remove extraneous comment.
authorMike Taylor <mike@indexdata.com>
Fri, 5 Jul 2013 11:40:31 +0000 (12:40 +0100)
committerMike Taylor <mike@indexdata.com>
Fri, 5 Jul 2013 11:40:31 +0000 (12:40 +0100)

No differences found