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