commit: 461cf3e5a3c2d346d75b1407b285f8daf9d01f67
date: 2017-12-21 17:40:01 +0200
build-date: 2017-12-21 15:48:56 +0000 
short: 461cf3e
branch: HEAD


MariaDB source 10.1.30
