commit: 7875294b6b74b53dd3aaa723e6cc103d2bb47b2c
date: 2023-08-11 08:35:40 +0200
build-date: 2023-08-11 06:39:46 +0000 
short: 7875294b6b7
branch: HEAD


MariaDB source 10.11.5
