Am 09.07.19 um 15:42 schrieb David Boyce:
I'd be glad to do that if it increases the chance to get it in. But
I couldn't find the Savannah bug reporting system (on
https://savannah.gnu.org/). Do I need to create a new user and log
in to be able to file an enhancement request?
I also think the proposal is reasonable but I think
it would be "stickier", i.e. less likely to get lost, if you
filed it as an enhancement request via the Savannah bug
Agreed, the name "dependency-only" is far from being a perfect
choice, and I'd be happy with any other suggestion.
I quite like this idea because so many of us work on
integrating things that we have no permission to modify
and we need ways to make them work cleanly without messing
them up. They are sort of "fix-up" or "patch"
dependencies. I'm not sure the name makes this clear