commit: a02642b66e06f95b80fa9ee592ba50eb61dc2f17
date: 2016-08-29 16:17:46 +0200
build-date: 2016-08-29 16:39:05 +0200 
short: a02642b
branch: HEAD


MariaDB source 10.1.17
