mirror of
https://github.com/MariaDB/server.git
synced 2025-12-06 05:42:06 +03:00
Detail: - Choose the solution that was already in place (before last fix) for 6.0 - minor cleanup in comments
3.9 KiB
3.9 KiB