mirror of
https://github.com/dolphin-emu/dolphin.git
synced 2026-10-08 11:56:19 +02:00
This resolves a race condition when spamming Refresh button, which would often end up with duplicates game entries for the entire duration of the session.