mirror of
https://github.com/MariaDB/server.git
synced 2025-11-24 06:01:25 +03:00
Reversed the changes to fix bug #12095 after review done by SergeyG. Applied a fix suggested by him.
47 KiB
47 KiB