commit: 01f6abd1d4a929ee308f5b9287ac797a2e40d2b0
date: 2024-01-31 17:32:53 +0100
build-date: 2024-01-31 16:38:24 +0000 
short: 01f6abd1d4a
branch: HEAD


MariaDB source 10.5.24
