Follow-up Comment #4, bug #61399 (project make): Thanks. I guess this bug report can now be closed?
_______________________________________________________ Reply to this item at: <https://savannah.gnu.org/bugs/?61399> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/