commit: bb825194b87da63126960656e86a18692b381b12
date: 2018-06-25 14:04:16 +0300
build-date: 2018-06-25 11:13:30 +0000 
short: bb82519
branch: HEAD


MariaDB source 10.2.16
