diff --git a/redirects.txt b/redirects.txt index fc86d034d..7772413ed 100644 --- a/redirects.txt +++ b/redirects.txt @@ -30,3 +30,4 @@ # Redirections introduced in 12.0 : +support/user_doc.rst contributing/documentation/introduction_guide.rst # removed in forward-port of #544 (b109c3af) \ No newline at end of file