Skip to content

[bob-devel] update pins

Amir MOHAMMADIrequested to merge
add-virtual-packages into master

Somehow the pins that we had become broken again. This updates pins to make sure bob-devel builds.

Merge request reports