Comment 2 for bug 1879587

Peter Maydell (pmaydell) wrote :

Thanks for the bug report; I think this patch should fix it:

https://<email address hidden>/

Any chance you could test it?