commit: 0d16eb35bc981023ce2f4912e8ecde68ca381f4e
date: 2023-08-10 21:18:25 +0200
build-date: 2023-08-10 20:16:58 +0000 
short: 0d16eb35bc9
branch: HEAD


MariaDB source 10.6.15
