commit: 98d7ac1fbe2d61c0d21e2c22808ef808f29c0827
date: 2022-08-10 13:25:05 +0200
build-date: 2022-08-10 11:31:56 +0000 
short: 98d7ac1
branch: HEAD


MariaDB source 10.7.5
