Update of bug #63273 (project health):
Open/Closed: Open => Closed
_______________________________________________________
Follow-up Comment #5:
Ah, ok. Then we close it for now. We can open it again if reproduces in other
boxes.
Bests
Luis
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?63273>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
