Follow-up Comment #4, bug #52076 (project make):
There must have been discussion about changing that setting, then removing it,
documenting it and reapplying it. Perhaps I even vaguely remember it? You'd
think it'd be easy enough to find. I did but I've spent a good ten minutes
trying to find it to no avail. It's so easy when a check-in cites a bug
number.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?52076>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
_______________________________________________
Bug-make mailing list
Bug-make@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-make
