Comment 5 for bug 1892960

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

Fixed in commit dfba99f17feb6d4a129da19d38df1bcd8579d1c3.