Commit 42dd6eeb authored by Amir MOHAMMADI's avatar Amir MOHAMMADI
Browse files

Merge branch 'bob-devel' into 'master'

[bob-devel] downgrade mkl to prevent conflicts in mac builds

See merge request !453
parents 3d3d7c5a fd8240b3
Pipeline #45192 passed with stage
in 17 minutes and 2 seconds