mirror of
https://github.com/MariaDB/server.git
synced 2025-11-28 17:36:30 +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.
36 KiB
36 KiB