Comment 4 for bug 1939640

Revision history for this message
Sergio Durigan Junior (sergiodj) wrote :

Good point, Oibaf. I've just tested git HEAD and verified that the bug seems to have been fixed there, indeed. I commented on the bug report. Thanks.