commit: 77872e4519a9ebba2cd2ab4f5794faccf0a1f879
date: 2017-11-27 12:04:51 +0200
build-date: 2017-11-27 10:09:20 +0000 
short: 77872e4
branch: HEAD


MariaDB source 10.2.11
