commit: 50c426200224a4527e84052aa2ab32be893f43f4
date: 2018-08-04 22:53:16 +0100
build-date: 2018-08-04 22:21:00 +0000 
short: 50c4262
branch: HEAD


MariaDB source 10.1.35
