K 10
svn:author
V 8
mfechner
K 8
svn:date
V 27
2019-03-02T12:00:20.421872Z
K 7
svn:log
V 113
Removed a file that svn has not picked up automatically.
The patch is not required with the new version anymore.

END