Merge branch 'delete-uneeded-file' into 'master'
Passed
Prada Sarasola, Miguel
created pipeline for commit
3dad22c0
, finished
For master
31 seconds, queued for 3 seconds