New Public IPv4 for Jenkins Mirrors

Contributing Infrastructure
4

[edit] These IP changed again, as described in Post Mortem of the 7th July 2023 Jenkins Infrastructure Outage. The post here is up to date.