Comment 2 for bug 1895310

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

Fixed in commit 1bd6fd8ed5933bfba53e5f5eadebd845094c3707.