[MERGE] Forward-port of 12.0 to 13.0

This commit is contained in:
Antoine Vandevenne (anv) 2020-04-07 12:26:00 +02:00
commit ae9bf567eb

View File

@ -30,7 +30,7 @@
# Redirections introduced in 12.0 : # Redirections introduced in 12.0 :
support/user_doc.rst contributing/documentation/introduction_guide.rst # removed in forward-port of #544 (b109c3af)
# Redirections introduced in 13.0 : # Redirections introduced in 13.0 :