commit: 177d858e38d7fa7e90a7088fcc2f5576eba411a0
date: 2022-11-02 13:14:54 +0100
build-date: 2022-11-02 12:37:31 +0000 
short: 177d858
branch: HEAD


MariaDB source 10.5.18
