commit: 403e6615fdd3f5f4de6d159457b2bd2fe566e0ad
date: 2019-07-26 18:17:55 +0300
build-date: 2019-07-26 16:34:57 +0000 
short: 403e661
branch: HEAD


MariaDB source 10.1.41
