commit: 7c2c420b70b19cc02b5281127205e876f3919dad
date: 2019-12-10 15:43:56 +0200
build-date: 2019-12-10 13:47:15 +0000 
short: 7c2c420
branch: HEAD


MariaDB source 10.4.11
