Skip to content
Snippets Groups Projects

Merge branch 'ubuntu_18_04' into 'master'

Passed
Sergi Hernandez created pipeline for commit f9c01440
, finished
For 1.0.2
latest
2 jobs 1 minute 23 seconds, queued for 2 seconds