Comment 9 for bug 1880822

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

Fixed in commit 790762e5487114341cccc5bffcec4cb3c022c3cd.