commit: 5fbfdae130950d0a5a07d4b909f3bf1ff0498d34
date: 2020-11-10 11:24:13 +0100
build-date: 2020-11-10 10:29:20 +0000 
short: 5fbfdae
branch: HEAD


MariaDB source 10.4.17
