Commit 888bb77f authored by Jens Kroeger's avatar Jens Kroeger
Browse files

Merge branch 'improve_download_script' into 'master'

Testing/download: catch exceptions from shutil

See merge request !180
parents 832f7815 dc9d1c45
Pipeline #1129137 passed with stages
in 20 minutes and 40 seconds