Skip to content

Merge branch 'feature/make-runtest-executable' into 'master'

Timo Koch requested to merge cherry-pick-fe45cd56 into master

[test] make runtest.py executable

See merge request !604 (merged)

(cherry picked from commit fe45cd56)

1eeac329 [test] make runtest.py executable

Merge request reports