docs: url

wmde · Oct 13, 2023 · 2183088 · 2183088
1 parent 455f3c5
commit 2183088
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/versions/wmde13.env b/versions/wmde13.env
@@ -4,6 +4,7 @@ MEDIAWIKI_BRANCH_NAME=REL1_39
 
 # WDQS_VERSION 0.3.135 is latest release on 2023-10-11
 # as per https://github.com/wikimedia/wikidata-query-rdf/tags
+# and https://archiva.wikimedia.org/repository/releases/org/wikidata/query/rdf/service/
 WDQS_VERSION=0.3.135
 
 # Head of master on 2023-10-11