mirror of
https://github.com/MariaDB/server.git
synced 2025-11-28 17:36:30 +03:00
Loops added to the handle_if_exists_option() to check the
CREATE/DROP lists for duplicates.
46 KiB
46 KiB