mirror of
https://github.com/dolphin-emu/dolphin.git
synced 2025-04-16 21:51:48 +02:00

This was kind of a pointless function, considering the parameter wasn't used at all, so the other Flush() function could have been just directly used instead.