Skip to content

GitLab

Merge branch 'v12.2-release' into 'devel_12.2.x' 

V12.2 release

See merge request !714
20 jobs for devel_12.2.x in 9 minutes and 2 seconds (queued for 1 second)
31199bb0
1 related merge request: !715 merge 12.2.0