Comment 61 for bug 955379

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

OK, so the behaviour you saw is expected since we didn't fix 32-bit hosts until a bit later; but they should both be fixed now.