Commit 45f9b4dd by Amir MOHAMMADI

Merge branch 'update-dev' into 'master'

Update deps on bob-devel to include mr.developer, new versions of zc tools

See merge request !324
parents f6565dc5 ced77fd5
Pipeline #14626 passed with stage
in 22 minutes 57 seconds