commit: da7604a2943f633df3b193e26ee20110bae9fa7a
date: 2017-07-01 21:12:26 +0300
build-date: 2017-07-01 20:20:31 +0200 
short: da7604a
branch: HEAD


MariaDB source 10.1.25
