commit: c24ec3cece6d8bf70dac7519b6fd397c464f7a82
date: 2019-11-07 07:39:55 +0200
build-date: 2019-11-07 05:52:24 +0000 
short: c24ec3c
branch: HEAD


MariaDB source 10.4.10
