K 10 svn:author V 4 manu K 8 svn:date V 27 2020-08-09T17:36:05.958642Z K 7 svn:log V 58 Remove EXTRA_PATCHES that was added by mistake in r544573 END