commit: 67240858b2bfa0afc436d88fc9da0595e1391b60
date: 2018-12-30 18:30:29 +0100
build-date: 2018-12-30 23:29:22 +0000 
short: 6724085
branch: HEAD


MariaDB source 10.2.21
