commit: 7c7f9bef28aa566557da31402142f6dd8298ddd2
date: 2019-11-25 15:02:08 +0100
build-date: 2019-11-28 15:19:07 +0000 
short: 7c7f9be
branch: HEAD


MariaDB source 10.5.0
