commit: 8efdfc8b58a84f8e8d62f0bb8b31f5b763664c06
date: 2015-12-23 16:22:48 +0100
build-date: 2015-12-23 16:33:35 +0100 
short: 8efdfc8
branch: HEAD


MariaDB source 10.1.10
