Skip to content
Snippets Groups Projects

Merge branch 'devel'

Passed
Mario Gonzalez Carpintero created pipeline for commit 74da4c19
, finished
For v0.9.5
latest
1 job 6 seconds, queued for 0 seconds