Skip to content
Snippets Groups Projects

Merge branch 'rnou/334-release-0-9-4' into 'master'

Passed
Ramon Nou created pipeline for commit 18d32d5f
, finished
For v0.9.4
latest
17 jobs 9 minutes 36 seconds, queued for 5 seconds