Am 09.07.19 um 15:42 schrieb David Boyce:
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 reporting system.
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?
On Tue, Jul 9, 2019 at 5:27 AM Tim Murphy <tnmur...@gmail.com <mailto:tnmur...@gmail.com>> wrote: 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 though
Agreed, the name "dependency-only" is far from being a perfect choice, and I'd be happy with any other suggestion.
_______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make
