commit: bb045e7931c451b228ffc5bcdb1791a31eb0c852
date: 2018-05-16 23:24:14 +0200
build-date: 2018-05-16 21:31:14 +0000 
short: bb045e7
branch: HEAD


MariaDB source 10.2.15

