Merge pull request #10201 from sensei-hacker/remove_used_platform_other
commit928b9730cd6cc060696a0052826e6000dfc19cd6
authorPaweł Spychalski <pspychalski@gmail.com>
Sun, 7 Jul 2024 06:11:02 +0000 (7 08:11 +0200)
committerGitHub <noreply@github.com>
Sun, 7 Jul 2024 06:11:02 +0000 (7 08:11 +0200)
tree7a7c245c8ebff4eaaea9f0c55471b7c245007bbe
parente6c31d811bf38f960411082dddad6a620cb1a44c
parent798f1ac2544010804442312dabda0ae2eb9220dc
Merge pull request #10201 from sensei-hacker/remove_used_platform_other

mixer.h: PLATFORM_OTHER isn't valid, remove