commit: d7d9a7ef15b348f9bcbef1b18926c85f13d7ae1e
date: 2025-07-31 11:57:53 +0200
build-date: 2025-07-31 10:02:37 +0000 
short: d7d9a7ef15b3
branch: HEAD


MariaDB source 12.0.2
