K 10 svn:author V 3 dim K 8 svn:date V 27 2018-07-31T17:53:24.382797Z K 7 svn:log V 66 Get rid of the patches directory, it's not maintained any longer. END