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