Skip to content
Snippets Groups Projects
Commit 53defada authored by Timo Koch's avatar Timo Koch
Browse files

Merge branch 'cherry-pick-fe45cd56' into 'master' 

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

See merge request !605
parents 26854f1b 01368152
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 0 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment