commit: 5553d3f1f691a374124686946bd1f1cc4ef9fb45
date: 2018-08-12 14:25:53 +0300
build-date: 2018-08-12 11:29:51 +0000 
short: 5553d3f
branch: HEAD


MariaDB source 10.2.17
