Skip to content
Snippets Groups Projects

Merge branch 'ubuntu_18_04' into 'master'

Passed
Sergi Hernandez created pipeline for commit b6a41155
, finished
For 1.0.2
latest
2 jobs 1 minute 37 seconds, queued for 0 seconds