mirror of
https://github.com/MariaDB/server.git
synced 2025-11-16 20:23:18 +03:00
Merge pull request https://github.com/MariaDB/server/pull/343 contributed by Eric Herman.
14 KiB
14 KiB