Comment 10 for bug 1871798

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

Fixed in commit 469a788cdd3c618ef1b8a23a339510082b3eeea7.