[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#55255: [PATCH] gnu: openjdk: Update to 11.0.15.
|
From: |
Efraim Flashner |
|
Subject: |
bug#55255: [PATCH] gnu: openjdk: Update to 11.0.15. |
|
Date: |
Tue, 10 May 2022 15:54:49 +0300 |
On Mon, May 09, 2022 at 01:50:34PM -0400, Greg Hogan wrote:
> On Sun, May 8, 2022 at 5:39 PM Ludovic Courtès <ludo@gnu.org> wrote:
>
> > > * gnu/packages/java (openjdk): Update to 11.0.15.
> > > [arguments]<#:phases>[fix-java-shebangs]: Adapt phase.
> >
> > If it works and dependents are fine (which I expect should be the case
> > for a point release), go for it!
> >
>
> This evaluation broke openjdk12+:
> https://ci.guix.gnu.org/build/760901/details
It's fixed now
--
Efraim Flashner <efraim@flashner.co.il> אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted
signature.asc
Description: PGP signature