commit: 56abcc4087b906cd919fe6ac2ed0a1f7cf8fdd18
date: 2025-07-29 19:45:23 +0200
build-date: 2025-07-29 17:51:04 +0000 
short: 56abcc4087b
branch: HEAD


MariaDB source 12.0.2
