mirror of
https://github.com/godotengine/godot.git
synced 2026-01-01 05:49:28 +03:00
We don't use that info for anything, and it generates unnecessary diffs
every time we bump the minor version (and CI failures if we forget to
sync some files from opt-in modules (mono, text_server_fb).
(cherry picked from commit 81064cc239)