commit: c548fb0667ffe71d9387eaec342b1716fc4c9526
date: 2017-08-17 11:41:46 +0200
build-date: 2017-08-17 10:05:42 +0000 
short: c548fb0
branch: HEAD


MariaDB source 10.2.8
