commit: af4421e82d3d458ea8f19cda6376503be6c49143
date: 2017-05-29 00:27:14 -0700
build-date: 2017-05-29 18:48:37 +0200 
short: af4421e
branch: HEAD


MariaDB source 10.1.24
