commit: 8d834cd0f370b306f63c2364552d187fc388e59e
date: 2018-10-31 23:48:29 +0200
build-date: 2018-10-31 21:54:07 +0000 
short: 8d834cd
branch: HEAD


MariaDB source 10.1.37
