commit: faf206a848684bc0f87c93a2b47a55063bbccc6c
date: 2019-01-04 17:25:19 +0200
build-date: 2019-01-04 15:28:51 +0000 
short: faf206a
branch: HEAD


MariaDB source 10.3.12
