Jenkins has released a new upstream 2.263.1 which we have imported in our thirdparty/ci component.
That is notably required in order to be able to upgrade to the latest Java 11 point release due to:
- Fix Debian / Ubuntu Java version check for Java 11.0.9.1. (issue 64212, pull 198)
Which are for the releases hosts (the CI ones are still using Java 8 due to the Gearman plugin).
Synchronized with @MoritzMuehlenhoff who is handling the Java 11 and caught the Jenkins compatibility issue.