Commit 6235323a authored by André Anjos's avatar André Anjos

Merge branch 'issue-11' into 'master'

[ci] Removed bob_dbmanage download Closes #11 See merge request !19
parents 7863e245 3d5b33f6
Pipeline #18373 passed with stages
in 77 minutes 30 seconds