Greg Hogan <code@greghogan.com> writes:

> Fix the broken openjdk@12 source build and update release versions.
>
> Greg Hogan (8):
>   gnu: openjdk11: Update to 11.0.22.
>   gnu: openjdk12: Update source hash.
>   gnu: openjdk13: Update to 13.0.14.
>   gnu: openjdk15: Update to 15.0.10.
>   gnu: openjdk17: Update to 17.0.10.
>   gnu: openjdk18: Update to 18.0.2.1.
>   gnu: openjdk20: Update to 20.0.2.
>   gnu: openjdk21: Update to 21.0.2.
>
>  gnu/packages/java.scm | 32 ++++++++++++++++----------------
>  1 file changed, 16 insertions(+), 16 deletions(-)
>
>
> base-commit: 447e9c96259e8fa15a828de9b2dd3400e2ffafe6

Thanks! I've pushed these patches to master as
b5bd0d3a7ea932710bc7a39733b00fb644f3425a.

Chris