commit: 8f102b584d4e8f02da924f9be094014136eb453f
date: 2018-01-17 00:45:02 +0100
build-date: 2018-01-17 09:06:20 +0000 
short: 8f102b5
branch: HEAD


MariaDB source 10.3.4
