From d51cfb0eaf4808c6041f4e36d613282d59bf39d8 Mon Sep 17 00:00:00 2001 From: Joe Conway Date: Sat, 27 Apr 2019 09:27:58 -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 81742d227b..f94e450ef9 100644 --- a/doc/src/sgml/external-projects.sgml +++ b/doc/src/sgml/external-projects.sgml @@ -205,7 +205,7 @@ PL/R R - +