commit: 23ddc3518f999e003d54f7a069b63b73585588aa
date: 2022-05-18 01:25:30 +0200
build-date: 2022-05-17 23:31:07 +0000 
short: 23ddc35
branch: HEAD


MariaDB source 10.4.25
