mirror of
https://github.com/godotengine/godot.git
synced 2026-01-05 06:11:29 +03:00
This is the only location in the codebase where it's being used, so no need to make the main lib have a dependency on it.
(cherry picked from commit c591cb8fda)