Skip to content
Commit 13902574 authored by Marco Clemencic's avatar Marco Clemencic
Browse files

Merge branch 'master' into 'master'

Fixes to Gitlab-CI configuration

See merge request !350
parents c2e904ca dbd247e8
Loading
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment