commit: f1102da37a3dcdc8b92e0205f0a8bd878704b168
date: 2025-05-22 09:22:55 +0200
build-date: 2025-05-22 07:28:54 +0000 
short: f1102da37a3
branch: HEAD


MariaDB source 12.0.1
