commit: 9a78a283f4ee7e8ccc4afb1d8a24c662fa4c634b
date: 2019-07-30 14:28:46 +0300
build-date: 2019-07-30 11:32:17 +0000 
short: 9a78a28
branch: HEAD


MariaDB source 10.4.7
