Skip to content
Snippets Groups Projects

Merge branch 'correct-ci' into 'develop'

Passed
Jonathan Guinet created pipeline for commit 92ff0747
, finished
For 396-correct-javadoc
branch
1 job 1 minute 27 seconds, queued for 3 seconds