Follow-up Comment #1, bug #53935 (project make):
BTW, I forgot to login before posting this -- I originated the bug and the
patch, not "anonymous/none". :)
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?53935>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
_______________________________________________
Bug-make mailing list
Bug-make@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-make
