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