mirror of
https://github.com/MariaDB/server.git
synced 2025-12-06 05:42:06 +03:00
"plugin name lost when loading an already-loaded name" Do not delete existing plugin when loading a new plugin which has the same name.
28 KiB
28 KiB