Update of bug #55242 (project make): Status: None => Not A Bug Open/Closed: Open => Closed
_______________________________________________________ Follow-up Comment #5: Thanks for your thoughts on this Dmitry. I'm going to close this issue; anyone who wants to comment further can still do so. _______________________________________________________ Reply to this item at: <https://savannah.gnu.org/bugs/?55242> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/