Christian Kühnel 124b7fd445 fix issues in apply_patch.py ... to fix #56		2019-11-18 11:45:08 +01:00
..
Jenkinsfile	fix issues in apply_patch.py	2019-11-18 11:45:08 +01:00