From cf3ff97a15c184bf6a665b891f41349c8aba79fb Mon Sep 17 00:00:00 2001 From: Joe Conway Date: Sat, 27 Apr 2019 09:27:56 -0400 Subject: [PATCH] Correct the URL pointing to PL/R As pointed out by documentation comment, the URL for PL/R needs to be updated to the correct current repository. Back-patch to all supported branches. --- doc/src/sgml/external-projects.sgml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/src/sgml/external-projects.sgml b/doc/src/sgml/external-projects.sgml index 81742d227bb..f94e450ef9e 100644 --- a/doc/src/sgml/external-projects.sgml +++ b/doc/src/sgml/external-projects.sgml @@ -205,7 +205,7 @@ PL/R R - +