Merge branch 'fleckenstein' into 'master'
Warning
JACQUOT Pierre
created pipeline for commit
8daba933
, finished
For master
4 minutes 37 seconds, queued for 2 seconds