mirror of
https://github.com/MariaDB/server.git
synced 2025-11-06 13:10:12 +03:00
Shift the ID values up into a range where they will not collide with those which we use for real data, when we fill the system tables. Will be merged up to 5.0 where it is needed for 5.0.38.
5.3 KiB
5.3 KiB