commit: 199378028430dd8e84ec10b111851d255000c2f1
date: 2015-10-15 12:23:04 +0200
build-date: 2015-10-15 17:44:22 +0200 
short: 1993780
branch: HEAD


MariaDB source 10.1.8
