Follow-up Comment #3, bug #63215 (project make): I've already incorporated it, with some slight differences. Thanks!
_______________________________________________________ Reply to this item at: <https://savannah.gnu.org/bugs/?63215> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/