commit: 21eed902f3415956cb3d5a4153459acc2e299402
date: 2019-06-14 21:23:53 +0300
build-date: 2019-06-14 18:29:46 +0000 
short: 21eed90
branch: HEAD


MariaDB source 10.2.25
