Follow-up Comment #3, bug#64822 (group make): Rob, that's right. The patch fixes both. In fact, this bug report is a duplicate of https://savannah.gnu.org/bugs/?36486.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?64822>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
