From e4306fe1b0bb3bbeb3206d72bd146761161a7ad3 Mon Sep 17 00:00:00 2001
From: "Antoine Vandevenne (anv)" <anv@odoo.com>
Date: Tue, 7 Apr 2020 12:19:40 +0200
Subject: [PATCH] [FIX] redirects: add a redirection to contributing

This commit adds a redirection for files removed in b109c3af (12.0)
following #544 (11.0):

- support/user_doc.rst replaced by contributing/documentation/introduction_guide.rst
---
 redirects.txt | 1 +
 1 file changed, 1 insertion(+)

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