commit: 9eb81576ad062c76859445162353ccb3a02df7d5
date: 2022-06-18 15:20:05 +0200
build-date: 2022-06-18 13:31:05 +0000 
short: 9eb8157
branch: HEAD


MariaDB source 10.10.0
