Merge branch '4.2' into 4.3

javiereguiluz · javiereguiluz · commit 10c690e7ab6a · 2019-06-20T15:41:23.000+02:00
* 4.2:
  Added a missing redirection for a deleted article
diff --git a/_build/redirection_map b/_build/redirection_map
@@ -425,3 +425,4 @@
 /email/spool /mailer
 /email/testing /mailer
 /contributing/community/other /contributing/community
+/profiler/storage /profiler
