commit: c73985f2ce8a391582787f3e310a011c1a712bec
date: 2023-01-28 15:21:23 +0200
build-date: 2023-01-28 13:25:29 +0000 
short: c73985f
branch: HEAD


MariaDB source 10.3.38
