Mikhail Goncharov f99e98e434 use logging in apply_patch2 ... + possible fix for base commit + ph_ options to control commit behavior		2020-07-23 20:24:02 +02:00
..
Jenkinsfile	use logging in apply_patch2	2020-07-23 20:24:02 +02:00