09.05.2023 17:39, Philippe Mathieu-Daudé пишет: ..> Should be fixed in v7.2-stable:
$ git log --oneline --grep=1d0b9261 v7.2.2 c45d10f655 target/i386: fix ADOX followed by ADCX 6809dbc5c5 target/i386: Fix C flag for BLSI, BLSMSK, BLSR 8d3c9fc439 target/i386: Fix BEXTR instruction
Unfortunately it is still not released, - I haven't heard anything from Michael Roth since Apr-22 (when 7.2.2 planned). /mjt