mirror of
https://github.com/dolphin-emu/dolphin.git
synced 2025-06-02 22:34:50 +02:00

It was broken by e15ec56bf0237 because it wasn't deemed important. However chances are people will eventually start using Dolphin on that configuration, so we shouldn't frivolously drop compatibility without good reason.