commit: a6e451dc7272c408ace8b3fb4d86c79263f7247e
date: 2020-10-05 18:18:05 +0200
build-date: 2020-10-05 16:37:01 +0000 
short: a6e451d
branch: HEAD


MariaDB source 10.4.15
