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