From 846fc7d950ec327b5f874371faf97d5b8baa3c09 Mon Sep 17 00:00:00 2001 From: Aurelien DARRAGON Date: Fri, 14 Oct 2022 08:48:57 +0200 Subject: [PATCH] DOC: lua-api: updating toolbox link Link to lua toolbox was dead (project has been deprecated). Adding a legacy link to get old toolbox source code as well as a link to luarocks that seems to have superseded it. --- doc/lua-api/index.rst | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/lua-api/index.rst b/doc/lua-api/index.rst index 3aa1c6956..6cbf33f80 100644 --- a/doc/lua-api/index.rst +++ b/doc/lua-api/index.rst @@ -3777,7 +3777,8 @@ External Lua libraries A lot of useful lua libraries can be found here: -* `https://lua-toolbox.com/ `_ +* Lua toolbox has been superseded by `https://luarocks.org/ `_ + The old lua toolbox source code is still available here `https://github.com/catwell/lua-toolbox `_ (DEPRECATED) Redis client library: