mirror of
https://github.com/dolphin-emu/dolphin.git
synced 2026-11-07 06:44:11 +01:00
If achievements were disabled but a player token is in settings, prior to this change the Achievement Manager dialog would show a box with no player name and score zero, which is unnecessary.