Harden mongo#555

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

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