Skip to content
Snippets Groups Projects

Merge remote-tracking branch 'origin/develop' into develop

Passed
Carsten Rose created pipeline for commit 00db51fb
, finished
1 related merge request: !601 New version v23.6.4, Refs #16490
1 job 1 minute 35 seconds, queued for 2 seconds