mirror of
https://github.com/MariaDB/server.git
synced 2025-04-26 11:49:09 +03:00
The functional changes of commit 5836191c8f0658d5d75484766fdcc3d838b0a5c1 (MDEV-21168) are omitted due to MDEV-742 having addressed the issue.