mirror of
https://github.com/dolphin-emu/dolphin.git
synced 2025-07-28 08:39:49 -06:00

This should have been done when rebasing6cc4f593e5
after the merge of3a00ff625e
. There are no correctness implications as far as I know, only very minor performance implications.