commit: e1a2b12577680ad365d297dcf617752d9d42e110
date: 2019-11-03 17:59:48 +0200
build-date: 2019-11-03 16:03:27 +0000 
short: e1a2b12
branch: HEAD


MariaDB source 10.3.19
