mirror of
https://github.com/MariaDB/server.git
synced 2026-04-28 19:25:32 +02:00
Null merge from 5.0
It is a backported patch.
This commit is contained in:
commit
3a6b404849
It is a backported patch.