commit: bf2bdd1a1a112c3bbdf53da7a663a59fafa62c7d
date: 2022-05-19 14:07:55 +0200
build-date: 2022-05-19 12:12:44 +0000 
short: bf2bdd1
branch: HEAD


MariaDB source 10.9.1
