Comment 1 for bug 1890310

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

Fixed by commit a501bfc91763d4642390090dd4e6039d67b63702.