Christian Kühnel 124b7fd445 fix issues in apply_patch.py ... to fix #56		2019-11-18 11:45:08 +01:00
..
master-pipeline	removed "ninja check" to speed up builds	2019-11-12 16:31:11 +01:00
Phabricator-pipeline	fix issues in apply_patch.py	2019-11-18 11:45:08 +01:00