mirror of
https://github.com/MariaDB/server.git
synced 2025-11-25 17:25:02 +03:00
If any of default names clashes with existing names find next large enough name gap for the requested number of partitions.
If any of default names clashes with existing names find next large enough name gap for the requested number of partitions.