dev #85637 : admin menu maintenance + doc links + filter redmine libraries
2 related merge requests: !2980 Dev#85637 a cacherretirer par variable, !2976 dev #85637 : admin menu maintenance + doc links + filter redmine libraries
2 jobs
32 minutes 26 seconds, queued for 1 seconds