K 10
svn:author
V 8
vangyzen
K 8
svn:date
V 27
2016-11-05T15:01:41.243308Z
K 7
svn:log
V 111
Fix sorting after r308293, using the ../tools/do_sort script.

Is this a pointy-hat offense?

Reported by:	jhb

END