Comment 2 for bug 1815423

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

This should be fixed by commit 1e8a98b53867f61da9, which will be in the 4.2 release.