commit: f7d2374083184261897e86bced158d9ae2c4aaaf
date: 2022-06-20 11:11:53 +0200
build-date: 2022-06-20 09:27:14 +0000 
short: f7d2374
branch: HEAD


MariaDB source 10.10.0
