commit: fecd78b83785d5ae96f2c6ff340375be803cd299
date: 2023-11-08 16:46:47 +0100
build-date: 2023-11-08 15:51:46 +0000 
short: fecd78b8378
branch: HEAD


MariaDB source 10.11.6
