commit: ba6bfc402c352372cc1a9ec20b5dc50b2204549f
date: 2020-01-26 22:39:52 +0200
build-date: 2020-01-26 20:43:58 +0000 
short: ba6bfc4
branch: HEAD


MariaDB source 10.4.12
