mirror of
https://github.com/MariaDB/server.git
synced 2025-04-24 18:27:21 +03:00
and make it print both version it compares to be able to see if it starts misbehaving again
and make it print both version it compares to be able to see if it starts misbehaving again