K 10
svn:author
V 6
tuexen
K 8
svn:date
V 27
2018-01-15T23:17:12.287884Z
K 7
svn:log
V 94
Keep list sorted. Thanks to jhb@ to pointing out that I put it at the
wrong place in r327919.

END