Skip to content
Snippets Groups Projects

Merge branch 'master' into 'release_01-02-24'

Passed
José Robles created pipeline for commit 81e0a0b2
, finished
1 related merge request: !78 (requirements): release 01-02-24
1 job 13 seconds, queued for 2 seconds