commit: 29c185bd771ac441121468b3850d6dc8d13b8a1f
date: 2024-05-08 20:01:17 +0200
build-date: 2024-05-08 18:06:01 +0000 
short: 29c185bd771
branch: HEAD


MariaDB source 10.5.25
