mirror of
https://github.com/MariaDB/server.git
synced 2025-11-09 11:41:36 +03:00
This reverts commit e86010f909.
Reverting on Monty's request, as this change makes merging
things from 10.5 to 10.2 much harder.
6.6 KiB
6.6 KiB