[conda_build_config] Update bob-devel and its respective pins (!180) · Merge requests · bob / bob.devtools · GitLab

Snippets Groups Projects

Merged Amir MOHAMMADI requested to merge bob-devel into master 4 years ago

Activity

Amir MOHAMMADI changed milestone to %Bob 9.0.0 4 years ago

changed milestone to %Bob 9.0.0
Amir MOHAMMADI merged 4 years ago

merged
Amir MOHAMMADI mentioned in commit 0543db3f 4 years ago

mentioned in commit 0543db3f

Please register or sign in to reply