commit: b735ca47738a1d2e995a429f40afd620eb7d8843
date: 2023-05-05 10:50:02 +0200
build-date: 2023-05-05 09:13:40 +0000 
short: b735ca47738
branch: HEAD


MariaDB source 10.5.20
