Skip to content
Snippets Groups Projects

Merge branch 'delete-uneeded-file' into 'master'

Passed
Prada Sarasola, Miguel created pipeline for commit 3dad22c0
, finished
For master
3 jobs 31 seconds, queued for 3 seconds