commit: 2437674291f31c91869a74eb6ebd9f03dc52bd43
date: 2022-11-14 19:10:21 +0100
build-date: 2022-11-14 18:13:59 +0000 
short: 2437674
branch: HEAD


MariaDB source 10.11.1
