K 10 svn:author V 5 danfe K 8 svn:date V 27 2013-03-11T07:39:15.818557Z K 7 svn:log V 110 Convert the patch into PATCHFILES: ports tree is not the best place for storing code. Discussed with: eadler END