mirror of
https://github.com/dolphin-emu/dolphin.git
synced 2025-01-11 08:39:13 +01:00
7222eb11e0
JIT: flush *after* the merged branch, not before