commit: c13b5011629b5ff7b969d648265002e4d1ba94c2
date: 2016-12-14 19:20:17 +0000
build-date: 2016-12-14 20:26:15 +0100 
short: c13b501
branch: HEAD


MariaDB source 10.1.20
