Otto Winter 797aadaf26 Update CI linter (#544) ...

* Update CI matcher

* Check Executable bit

2019-05-11 15:12:30 +02:00

..

etc

Update CI linter (#544)

2019-05-11 15:12:30 +02:00