commit: b258f911032a04394b8e0f8f092da799d804a205
date: 2016-07-02 14:52:23 +0200
build-date: 2016-07-02 14:56:04 +0200 
short: b258f91
branch: HEAD


MariaDB source 10.2.1
