Comment 2 for bug 1826172

Revision history for this message
Peter Maydell (pmaydell) wrote :

Hi; thanks for this bug report. It should be fixed by commit 946376c21be1cd9dcc3c7 in git master, which will be in the 4.1 release.