Skip to content
Snippets Groups Projects

Merge branch 'issue-15' into 'master'

Passed
Andrea Ceccanti created pipeline for commit dd3141f0
, finished
For master
Scheduled branch
7 jobs 8 minutes 48 seconds, queued for 3 seconds