commit: 3cc0e0befb3d6012a7ed9649a2220bf6cc6c614f
date: 2019-12-05 01:28:11 +0200
build-date: 2019-12-04 23:31:39 +0000 
short: 3cc0e0b
branch: HEAD


MariaDB source 10.2.30
