mirror of
https://github.com/dolphin-emu/dolphin.git
synced 2025-01-26 07:45:33 +01:00
ce012ee3f4
I don't know what the point of this was. (Workaround for some old bug that we don't have anymore?)