diff --git a/doc/src/sgml/external-projects.sgml b/doc/src/sgml/external-projects.sgml index fd63e296356..27904c2fad0 100644 --- a/doc/src/sgml/external-projects.sgml +++ b/doc/src/sgml/external-projects.sgml @@ -199,7 +199,7 @@ PL/Lua Lua - +