mirror of
https://github.com/dolphin-emu/dolphin.git
synced 2025-01-11 16:49:12 +01:00
fad17246db
This wasn't caught by the lint script because it was broken (by me) at some point :( If it had been rebased, it wouldn't have passed lint