commit: fe0e65dbe28f93bfc677d12be4166415dc1bec5a
date: 2018-11-16 19:58:52 +0200
build-date: 2018-11-16 18:04:56 +0000 
short: fe0e65d
branch: HEAD


MariaDB source 10.3.11
