commit: 90f43d260e407c650aa8a7885d674c717618cc37
date: 2020-11-03 12:41:41 +0200
build-date: 2020-11-03 10:50:56 +0000 
short: 90f43d2
branch: HEAD


MariaDB source 10.5.7
