Skip to content
Snippets Groups Projects

Merge branch 'release/14.0.1.1.12' into 'dev'

Passed
Benjamí Ramos created pipeline for commit e47d1780
, finished
For dev
branch
1 job 20 seconds, queued for 2 seconds