commit: f4c85ef5ed0b2977fd5db61b166fd59764394234
date: 2020-10-05 17:52:00 +0200
build-date: 2020-10-05 15:55:17 +0000 
short: f4c85ef
branch: HEAD


MariaDB source 10.1.47
