Follow-up Comment #3, bug #63243 (project make): Probably in the next release when I fix signal handling, this will not be needed anymore.
_______________________________________________________ Reply to this item at: <https://savannah.gnu.org/bugs/?63243> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/