commit: a0d4f0f306c6e478a1f45727e8fd9c867f9672d9
date: 2022-05-18 01:23:47 +0200
build-date: 2022-05-17 23:27:40 +0000 
short: a0d4f0f
branch: HEAD


MariaDB source 10.3.35
