From 04c87afac24eb1726bedbf6b299506ac9f1b5875 Mon Sep 17 00:00:00 2001
From: brutzman <brutzman@DESKTOP-2S09UKA>
Date: Sun, 18 Aug 2019 23:08:20 -0700
Subject: [PATCH] typo

---
 developers.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/developers.html b/developers.html
index 1ed61762ae..5462918bf5 100644
--- a/developers.html
+++ b/developers.html
@@ -810,7 +810,7 @@ Note that the -d switch is necessary for domain users.
       <ul>
           <li>
               Download and install the latest
-              <a href="https://jdk.java.net/12" target="_blank">OpenJDK Java Development Kit (JDK)</a>.
+              <a href="https://jdk.java.net/12" target="_blank">OpenJDK Java Development Kit (JDK)</a>
               or
               <a href="http://www.oracle.com/technetwork/java/javase/downloads/index.html" target="_blank">Java Development Kit (JDK)</a>.
               These installations also include the
-- 
GitLab