commit: 7dade0adbd254a37cd41d0e2eb2adb7918517349
date: 2022-02-10 21:33:14 +0100
build-date: 2022-02-10 20:43:41 +0000 
short: 7dade0a
branch: HEAD


MariaDB source 10.8.2
