From 70b0142fdd948e0e9b4d5ed01d681f28d5609ed5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jakub=20Van=C4=9Bk?= <vanek.jakub4@seznam.cz>
Date: Fri, 29 May 2020 17:17:45 +0200
Subject: [PATCH] [config] fix: move Java 13 over to the JDK13-Updates
 repository

---
 scripts/config.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/config.sh b/scripts/config.sh
index 07e0c70..a8ff987 100644
--- a/scripts/config.sh
+++ b/scripts/config.sh
@@ -239,7 +239,7 @@ elif [ "$JDKVER" == "12" ]; then
 elif [ "$JDKVER" == "13" ]; then
   VERSION_POLICY="latest_general_availability"
   JAVA_SCM="git"
-  JAVA_REPO="https://github.com/openjdk/jdk13.git"
+  JAVA_REPO="https://github.com/openjdk/jdk13u.git"
   PATCHVER="jdk13"
   AUTOGEN_STYLE="v2"
   if [ "$BUILDER_TYPE" = "native" ]; then