[bob-devel] update bob/beat-devel to make sure everything works with strict channel priority (!437) · Merge requests · bob / conda · GitLab

This is an archived project. Repository and other project resources are read-only.

Amir MOHAMMADI requested to merge strict-channels into master Jan 09, 2020

related to bob.devtools!130 (merged)