mirror of
https://github.com/dolphin-emu/dolphin.git
synced 2025-01-10 16:19:28 +01:00
5635c94a30
Also add a missing override to onRestart in DolphinEmulator.java.