K 10 svn:author V 6 gerald K 8 svn:date V 27 2017-11-14T05:38:55.588290Z K 7 svn:log V 72 Fix up the format of files/patch-armv7-support . Reported by: portlint END