commit: 9aa3564e8a06c3d2027fc514213ecf42b049b06e
date: 2022-02-10 21:04:51 +0100
build-date: 2022-02-10 20:11:38 +0000 
short: 9aa3564
branch: HEAD


MariaDB source 10.5.15
