commit: aab83aecdca15738d114cf5a2f223f1d12e4e6bd
date: 2025-07-31 20:55:47 +0200
build-date: 2025-07-31 19:06:57 +0000 
short: aab83aecdca
branch: HEAD


MariaDB source 12.0.2
