03/07: gnu: openjdk13: Update to 13.0.13.

[guix-commits]

efraim pushed a commit to branch master
in repository guix.

commit 8a6316ef9ea9e993f0c46cbda2a9ae2aaf26a4d2
Author: Greg Hogan <code@greghogan.com>
AuthorDate: Mon Dec 12 21:19:33 2022 +0000

    gnu: openjdk13: Update to 13.0.13.
    
    * gnu/packages/java.scm (openjdk13): Update to 13.0.13.
    
    Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
---
 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 e06020eedf..e71c70753d 100644
--- a/gnu/packages/java.scm
+++ b/gnu/packages/java.scm
@@ -2100,8 +2100,8 @@ blacklisted.certs.pem"
                   "#! 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