mirror of
https://github.com/dolphin-emu/dolphin.git
synced 2025-02-03 19:42:45 +01:00
e0eb4ef5bc
This should prevent issues like the one fixed in the previous commit from happening again.