commit: 32bebfeefb219aec22468a6eae30ffd4a778544d
date: 2018-11-12 18:19:31 +0200
build-date: 2018-11-12 16:32:47 +0000 
short: 32bebfe
branch: HEAD


MariaDB source 10.2.19
