Use deb.debian.org in sources.list
use_deb.debian.org allows to use
deb.debian.org in sources.list.
Updated by Marc Dequènes almost 3 years ago
- Status changed from New to Resolved
I think we already agreed on this, this is simple, there's not much code path to test, so for such a trivial change you can just push directly.
We are lagging a lot for reviews in OSAS while it's our full-time job, so I think it may be more realistic to reserve PRs for larger changes and things to discuss.
Anyway, this is fine and merged.