Snippets Groups Projects

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

Commit 12a63c39 authored 6 years ago by André Anjos

[bob-devel] Allows bob-devel to pick newer deps

parent 7e1a880a

No related branches found

No related tags found

Checking pipeline status

Hide whitespace changes

Inline Side-by-side

Showing with 2 additions and 2 deletions

Amir MOHAMMADI @amohammadi · 6 years ago

Owner

@andre.anjos If you need some dependency to be updated, please list it here and upgrade it explicitly.

@andre.anjos If you need some dependency to be updated, please list it here and upgrade it explicitly.
André Anjos @aanjos · 6 years ago

Author Owner

Are we supposed to overlist or underlist?

Are we supposed to overlist or underlist?
André Anjos @aanjos · 6 years ago

Author Owner

I always had the impression we should list the minimum possible.

I always had the impression we should list the minimum possible.

Please register or to comment