I’ve updated Jenkins to the latest LTS release. Also updated all plugins to avoid security problems. There is one problem left and I think we can drop the plugin:
Also removed CVS since we don’t use that anyway. There are more unused and deprecated plugins (also used and deprecated) that also deserve attention.