mirror of
https://github.com/godotengine/godot.git
synced 2026-03-03 20:55:48 +00:00
Also remove the reference to a patch that was removed in a prior commit. This includes improvements to simplification wrt attribute metric for certain edge cases.