commit: cd70bed05e506ce1ca3535ada265c4d09f633b49
date: 2015-06-03 11:12:50 +0200
build-date: 2015-06-03 11:16:16 +0200 
short: cd70bed
branch: HEAD


MariaDB source 10.1.5
