K 10 svn:author V 7 vanilla K 8 svn:date V 27 2016-09-30T17:08:51.573536Z K 7 svn:log V 60 Remove uneeded patch to fix BROKEN. Obtained from: marino@ END