mirror of
https://github.com/google/flatbuffers.git
synced 2026-08-03 21:11:55 +00:00
121c4c99ae
This makes sure it doesn't break users when they choose a different repo_name.