commit: 0707dac202adca85c48eaf7ecb2371da8667cc57
date: 2025-09-12 13:08:40 +0200
build-date: 2025-09-12 11:13:21 +0000 
short: 0707dac202ad
branch: HEAD


MariaDB source 10.11.15
