Harden MariaDB#557

tvdijen wants to merge 3 commits intoOpenConext:mainOpenConext/OpenConext-deploy:mainfrom

tvdijen:patch-2tvdijen/OpenConext-deploy:patch-2Copy head branch name to clipboard