commit: 0789a1a18f0e780c0412667e7b6e0a9970aa6905
date: 2019-06-15 01:21:40 +0300
build-date: 2019-06-14 22:25:18 +0000 
short: 0789a1a
branch: HEAD


MariaDB source 10.3.16
