commit: 530da97c65a8018ef049dfb990df6b98bc5e4ccd
date: 2020-05-08 09:19:44 +0200
build-date: 2020-05-08 07:37:51 +0000 
short: 530da97
branch: HEAD


MariaDB source 10.1.45
