Comment 1 for bug 1878627

Revision history for this message
Philippe Mathieu-Daudé (philmd) wrote :

Discussion about fixing:

https://<email address hidden>/msg699807.html