commit: 00f0c039d2f4213ccf0a0202349ecb162a799989
date: 2018-02-12 16:56:01 +0200
build-date: 2018-02-12 15:01:29 +0000 
short: 00f0c03
branch: HEAD


MariaDB source 10.2.13
