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