commit: 0a891ad6a6ba698484ba71171c3aa793705b8c6a
date: 2020-01-26 18:40:22 +0200
build-date: 2020-01-26 16:43:32 +0000 
short: 0a891ad
branch: HEAD


MariaDB source 10.2.31
