Skip to content
Snippets Groups Projects

Merge branch '498-change-names' into 'devel_12.1.x'

Passed
Piotr Gawron created pipeline for commit 6835036b
, finished
1 related merge request: !412 changes from 12.1.0~beta.1 into master
1 job 1 minute 49 seconds, queued for 1 seconds