Comment 2 for bug 1890312

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

Fixed in commit a501bfc91763d4642390090dd4e6039d67b63702.