commit: 2d2f857fb371ada237bad3fb2f470c613cdf5da2
date: 2017-10-06 12:28:56 +0200
build-date: 2017-10-06 10:38:10 +0000 
short: 2d2f857
branch: HEAD


MariaDB source 10.3.2
