commit: 5b3d3792e28fc7a875c7060f772e42a9cd922f83
date: 2020-08-07 13:43:08 +0200
build-date: 2020-08-07 12:57:39 +0000 
short: 5b3d379
branch: HEAD


MariaDB source 10.5.5
