mirror of
https://github.com/Redot-Engine/redot-engine.git
synced 2025-12-06 07:17:42 -05:00
The patch has already been upstreamed, and custom patching won't be
needed during next version update.
(cherry picked from commit 8d5df826cb)