commit: 58e0dcb93dc2b2bf49f76c754bd216dbdf875a0d
date: 2017-10-30 10:06:47 +0200
build-date: 2017-10-30 08:10:49 +0000 
short: 58e0dcb
branch: HEAD


MariaDB source 10.2.10
