mirror of
https://github.com/stan220/godot-docs.git
synced 2026-09-08 18:29:11 +00:00
Hugo Locurcio
1fc4b37e37
This is sometimes required to fix compilation errors.
(cherry picked from commit fe23e577a5)