mirror of
https://github.com/MariaDB/server.git
synced 2025-10-31 15:50:51 +03:00
Problem: The original patch didn't compile on debug_werror
due to wrong format in printf("%d") for size_t variables.
Fix: Adding cast to (int).