commit: 30641f9df77be99d93524e39cdc2b2d783e6d3e1
date: 2018-12-18 16:38:08 +0100
build-date: 2018-12-18 15:45:50 +0000 
short: 30641f9
branch: HEAD


MariaDB source 10.4.1
