Skip to content

[bob-devel] update pins

Amir MOHAMMADI requested 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