Pushed to master as 02182c623e0b19f23701d9feaae096e5a1bd5823, thank you!
I just had to fix the commit message, and adjust the patch because the
context had changed a little.
Le Thu, 7 Apr 2022 12:41:50 +0200,
Rostislav Svoboda <rostislav.svoboda@gmail.com> a écrit :
Toggle quote (27 lines)
> gnu/packages/java.scm | 4 ++--
> 1 file changed, 2 insertions(+), 2 deletions(-)
> diff --git a/gnu/packages/java.scm b/gnu/packages/java.scm
> index b27892841e..6738b5dc35 100644
> --- a/gnu/packages/java.scm
> +++ b/gnu/packages/java.scm
> @@ -2234,7 +2234,7 @@ (define-public openjdk17
> @@ -2243,7 +2243,7 @@ (define-public openjdk17
> (file-name (git-file-name name version))
> "1l1jgbz8q7zq66npfg88r0l5xga427vrz35iys09j44b6qllrldd"))))
> "0zwv5pnh7rb7a6689jlhjfcc92bsiy0xbhdxyj93096ah4n3hqhj"))))
> (native-inputs `(("autoconf" ,autoconf)
> ("openjdk16:jdk" ,openjdk16 "jdk")