K 10
svn:author
V 3
des
K 8
svn:date
V 27
2018-09-10T13:19:46.322524Z
K 7
svn:log
V 133
Regenerate with 'make makepatch' and add a comment.  Note that I am
unsure if the patch is still required, or even if it is correct.

END