commit: 1f18e0c70e3602710c6cb3bef05e7a3ab80573d1
date: 2020-11-02 01:29:52 +0200
build-date: 2020-11-01 23:38:11 +0000 
short: 1f18e0c
branch: HEAD


MariaDB source 10.4.16
