commit: b7ffccf49b5563d3078359bddf438c9d20674513
date: 2022-05-18 13:26:48 +0200
build-date: 2022-05-18 11:30:29 +0000 
short: b7ffccf
branch: HEAD


MariaDB source 10.8.3
