commit: aba15b864af664276261dcbbdaef35268d407af1
date: 2018-02-04 04:28:14 +0200
build-date: 2018-02-04 02:30:32 +0000 
short: aba15b8
branch: HEAD


MariaDB source 10.1.31
