commit: f8a85af8ca1c937b8d4f847477bd282f80251cde
date: 2023-01-30 21:28:21 +0100
build-date: 2023-01-30 20:31:38 +0000 
short: f8a85af
branch: HEAD


MariaDB source 10.5.19
