Back to bug 34538

Who When What Removed Added
katrin.fischer 2023-08-24 08:58:51 UTC Summary additional-contents.pl needs a None option in libraries additional-contents.pl needs a 'not logged in' option for libraries
katrin.fischer 2023-08-24 08:59:10 UTC Summary additional-contents.pl needs a 'not logged in' option for libraries HTML customizations needs a 'not logged in' option for libraries

Back to bug 34538