commit: 5018b998a76b99a30efe96ca007a95a5a1c83bb5
date: 2020-06-23 17:07:03 +0200
build-date: 2020-06-23 15:10:18 +0000 
short: 5018b99
branch: HEAD


MariaDB source 10.5.4
