commit: d4310eb96ab515e37cbe3db939a6f385252a3e0e
date: 2023-02-01 17:19:48 +0100
build-date: 2023-02-01 16:26:01 +0000 
short: d4310eb
branch: HEAD


MariaDB source 10.8.7
