commit: 0bb31039f54bd6a0dc8f0fc7d40e6b58a51998b0
date: 2023-05-05 15:09:16 +0200
build-date: 2023-05-05 13:40:27 +0000 
short: 0bb31039f54
branch: HEAD


MariaDB source 10.11.3
