Update of bug #8035 (project make):
Status: None => Duplicate
Open/Closed: Open => Closed
_______________________________________________________
Follow-up Comment #1:
This was fixed via bug #63439
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?8035>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
