diff --git a/doc/src/sgml/external-projects.sgml b/doc/src/sgml/external-projects.sgml index 9f8fe866305..f6a2a55041a 100644 --- a/doc/src/sgml/external-projects.sgml +++ b/doc/src/sgml/external-projects.sgml @@ -199,7 +199,7 @@ PL/Lua Lua - +