Comment 2 for bug 1900155

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

Fixed by commits 4ac4e7281a2..1a9925e3390.