commit: d925aec1c10cebf6c34825a7de50afe4e630aff4
date: 2019-10-31 18:07:19 +0200
build-date: 2019-10-31 16:12:26 +0000 
short: d925aec
branch: HEAD


MariaDB source 10.1.42
