mirror of
https://github.com/MariaDB/server.git
synced 2025-07-30 16:24:05 +03:00

Pushing test case for bug only. Bug already fixed as a result of the patch for BUG#19958.
Pushing test case for bug only. Bug already fixed as a result of the patch for BUG#19958.