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/
