Follow-up Comment #12, bug #63157 (project make): Thanks, the diffs look good (although I didn't actually test them).
_______________________________________________________ Reply to this item at: <https://savannah.gnu.org/bugs/?63157> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/