Follow-up Comment #5, bug #57148 (project health): With the 2 fixes the issue does not occur anymore. Thank you!
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?57148>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
