document changes of MariaDB support #34963

Job	Run time
Building developer_manual HTML	33s
Prepare PDF build image	11s
Building user_manual ePub	26s
Building user_manual HTML	33s
Building admin_manual ePub	30s
Building developer_manual ePub	33s
Building admin_manual HTML	31s
Building user_manual-en HTML	31s
Building admin_manual PDF	15s
Building user_manual PDF	14s
build-deploy-summary	7s
Stage and check documentation	1s
Check for broken links	1s
Deploy documentation for gh-pages	1s
Deploy Netlify preview	1s
	4m 28s

Provide feedback