Skip to content
Snippets Groups Projects

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

Passed
José Robles created pipeline for commit a477001c
, finished
1 related merge request: !79 Release 20 02 24
1 job 12 seconds, queued for 1 seconds