commit: 4e99e67c4e8a04bd03cb0e7efc2ce0129af60c34
date: 2019-11-06 08:17:03 +0200
build-date: 2019-11-06 06:20:37 +0000 
short: 4e99e67
branch: HEAD


MariaDB source 10.1.43
