commit: 4668e079eed635c9ff19a39e584202d3a4e590c1
date: 2020-08-06 17:01:44 +0200
build-date: 2020-08-06 15:15:56 +0000 
short: 4668e07
branch: HEAD


MariaDB source 10.3.24
