K 10 svn:author V 7 mandree K 8 svn:date V 27 2013-07-24T21:57:54.389618Z K 7 svn:log V 84 Simplify, for conciseness: Move function of patch file into post-patch target, too. END