commit: 1ac0bce36e5bf2136cedb1ce1da949f53cce4404
date: 2022-08-10 12:24:31 +0200
build-date: 2022-08-10 10:53:29 +0000 
short: 1ac0bce
branch: HEAD


MariaDB source 10.5.17
