Commit 2212730b authored by Manuel Christlieb's avatar Manuel Christlieb

Merge branch 'xdebug_use' into 'master'

- Bugfix shell script

See merge request !3
parents 0ccb3dcc 38cb831b
Pipeline #12721 passed with stage
in 5 minutes and 2 seconds