commit: d361401bc26f49480daec8b0307afff6edae2ecc
date: 2018-01-03 11:56:24 +0200
build-date: 2018-01-03 13:48:32 +0000 
short: d361401b
branch: HEAD


MariaDB source 10.2.12
