From 870ce7e315e7f9568398c60ea2a9c6a32aafba41 Mon Sep 17 00:00:00 2001 From: Joe Conway Date: Sat, 27 Apr 2019 09:28:04 -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 a72b8f56080..65a5ff7b30b 100644 --- a/doc/src/sgml/external-projects.sgml +++ b/doc/src/sgml/external-projects.sgml @@ -211,7 +211,7 @@ PL/R R - +