Comment 3 for bug 1882123

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

Could you try current head of git as well please, just in case it's a bug we've already fixed since 5.0? Thanks!