Skip to content
Snippets Groups Projects

Merge branch 'develop' into 'master'

Passed
Gervaise Henry created pipeline for commit 173acd85
finished
For 1.3.7
3 Jobs 18 seconds, queued for 3 seconds