Skip to content
Commit bfadc756 authored by Andreas Klöckner's avatar Andreas Klöckner
Browse files

Merge branch 'close_repos' into 'master' 

Make sure repo.close()

See merge request !47
parents ddc42e23 db428e0a
Pipeline #8536 passed with stage
in 2 minutes and 12 seconds