K 10
svn:author
V 3
phk
K 8
svn:date
V 27
2018-05-06T21:22:46.938459Z
K 7
svn:log
V 79
With the fall-back hack for lint gone, I have no copyright claim on this file.

END