commit: 6cfd2ba397b0ca689d8ff1bdb9fc4a4dc516a5eb
date: 2023-11-08 12:59:00 +0100
build-date: 2023-11-08 12:04:02 +0000 
short: 6cfd2ba397b
branch: HEAD


MariaDB source 10.5.23
