commit: 1df82329bc961489ddd1a67531b4234fe04585ab
date: 2025-07-31 20:42:40 +0200
build-date: 2025-07-31 18:58:43 +0000 
short: 1df82329bc9
branch: HEAD


MariaDB source 12.0.2
