diff --git a/SUBMITTING_PATCHES b/SUBMITTING_PATCHES
index 55122aea83d8b7ff66c39ecd4495b2907d6eccb5..3a0233f86e390d78d33c6d878effd0be12cb033f 100644
--- a/SUBMITTING_PATCHES
+++ b/SUBMITTING_PATCHES
@@ -60,8 +60,9 @@ please make sure it cleanly applies to the "master" branch head.
 
 (3) Check the license.
 
-JGit is licensed under the Eclipse Development License (EDL),
-which is a renamed version of the new style/3-clause BSD license.
+JGit is licensed under the Eclipse Distribution License (EDL,
+http://www.eclipse.org/org/documents/edl-v10.html), which is a
+renamed version of the new style/3-clause BSD license.
 
 Under this licensing model *every* file within the project
 *must* list which license covers it in the header of the file.