commit: ed5a3e3d9434d3957ac57dcb75c51b83bb8745f9
date: 2022-06-18 15:17:22 +0200
build-date: 2022-06-18 13:31:20 +0000 
short: ed5a3e3
branch: HEAD


MariaDB source 10.10.0
