commit: 7da6353b1558adce73320c803f0413c9bbd81185
date: 2020-11-10 14:09:05 +0100
build-date: 2020-11-10 13:15:07 +0000 
short: 7da6353
branch: HEAD


MariaDB source 10.5.8
