commit: 77e2aca3f0795884e8221b30973709b62119fade
date: 2019-03-23 14:33:36 +0100
build-date: 2019-03-23 17:30:21 +0000 
short: 77e2aca
branch: HEAD


MariaDB source 10.2.23
