FTR this generated the following PRs:
https://github.com/jenkinsci/jenkins/pull/6549
https://github.com/jenkinsci/maven-hpi-plugin/pull/341
https://github.com/jenkinsci/plugin-pom/pull/549
https://github.com/jenkins-infra/update-center2/pull/591
--
You received this message because you are
+1 from me as well
On Wednesday, March 30, 2022 at 6:00:20 AM UTC-6 Tim wrote:
> +1
>
--
You received this message because you are subscribed to the Google Groups
"Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to
+1
On Wed, 30 Mar 2022 at 07:35, 'Daniel Beck' via Jenkins Developers <
jenkinsci-dev@googlegroups.com> wrote:
>
>
> On Wed, Mar 30, 2022 at 7:32 AM Basil Crow wrote:
>
>>
>> > 1. IIRC I've seen plugins requiring Java 11 that just don't declare it.
>> So it's not unused because it isn't needed,
On Wed, Mar 30, 2022 at 7:32 AM Basil Crow wrote:
>
> > 1. IIRC I've seen plugins requiring Java 11 that just don't declare it.
> So it's not unused because it isn't needed, but perhaps because plugin
> authors are unaware of it?
>
> I am not familiar with such cases, but I seriously doubt there
On Tue, Mar 29, 2022 at 10:25 PM 'Daniel Beck' via Jenkins Developers
wrote:
>
> Seems reasonable if really unused.
Thanks. Of course I will verify this systematically before proposing the PRs.
> 1. IIRC I've seen plugins requiring Java 11 that just don't declare it. So
> it's not unused
On Wed, Mar 30, 2022 at 7:16 AM Basil Crow wrote:
> As part of my work on Java platform support in Jenkins, I have
> encountered the subsystem introduced in JENKINS-20679, which allows
> plugins to request a newer version of Java than the corresponding
> core. Based on a preliminary search of
