K 10 svn:author V 5 riggs K 8 svn:date V 27 2017-11-12T14:00:48.407217Z K 7 svn:log V 99 Chase renaming of devel/oniguruma6 to devel/oniguruma PR: 222869 Reported by: m.bueker@berlin.de END