commit: c8f9b3f915a729ec35c00e92cc534a01271aa6e6
date: 2019-02-20 08:44:08 +0100
build-date: 2019-02-20 07:59:16 +0000 
short: c8f9b3f
branch: HEAD


MariaDB source 10.3.13
