Commit 81dc13ce authored by André Anjos's avatar André Anjos 💬

Merge branch 'bump-bob-dev' into 'master'

Bump beat/bob-devel

Closes bob.ip.binseg#5

See merge request !209
parents 06540e88 ddad5313
Pipeline #47930 passed with stages
in 9 minutes and 59 seconds