commit: 84d4005bad1abc45c5baac581ae26a563dea14bb
date: 2020-01-25 23:50:41 +0200
build-date: 2020-01-25 21:54:39 +0000 
short: 84d4005
branch: HEAD


MariaDB source 10.1.44
