commit: d517886482158f7f4525b55b7899ad6bab882768
date: 2015-07-23 15:48:26 +0200
build-date: 2015-07-23 16:19:56 +0200 
short: d517886
branch: HEAD


MariaDB source 10.1.6

