commit: 560743198604caf677c543db9719cef871df09ce
date: 2018-04-13 21:46:24 +0200
build-date: 2018-04-13 19:52:23 +0000 
short: 5607431
branch: HEAD


MariaDB source 10.3.6
