commit: 7e650253dc488debcb0898ebe6d385bf6dfa3656
date: 2023-08-10 21:17:44 +0200
build-date: 2023-08-10 19:22:15 +0000 
short: 7e650253dc4
branch: HEAD


MariaDB source 10.5.22
