Subject: [bug#60020] [PATCH 3/8] gnu: openjdk13: Update to 13.0.13.

From: Greg Hogan <[email-masked]>
Date: Mon, 12 Dec 2022 21:19:33 +0000

* gnu/packages/java.scm (openjdk13): Update to 13.0.13.
---
 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 d4dfd4be39..d19c10062b 100644
--- a/gnu/packages/java.scm
+++ b/gnu/packages/java.scm
@@ -2101,8 +2101,8 @@ (define-public openjdk12
                   "#! java BlacklistedCertsConverter SHA-256\n"))))))))))
 
 (define-public openjdk13
-  (make-openjdk openjdk12 "13.0.7"
-                "0wrrr0d7lz1v8qqm752mn4gz5l2vpl2kmx4ac3ysvk4mljc924hp"))
+  (make-openjdk openjdk12 "13.0.13"
+                "0pxf4dlig61k0pg7amg4mi919hzam7nzwckry01avgq1wj8ambji"))
 
 (define-public openjdk14
   (make-openjdk
-- 
2.38.1