From f0a565d06449d129abddaf1b0d9eeb69f51e8292 Mon Sep 17 00:00:00 2001
From: Javier Eguiluz <javier.eguiluz@gmail.com>
Date: Wed, 19 Jun 2019 09:29:46 +0200
Subject: [PATCH] Added a missing redirection for a deleted article

---
 _build/redirection_map | 1 +
 1 file changed, 1 insertion(+)

diff --git a/_build/redirection_map b/_build/redirection_map
index 46edcee6e1d..b45783b612f 100644
--- a/_build/redirection_map
+++ b/_build/redirection_map
@@ -422,3 +422,4 @@
 /configuration/environments /configuration
 /configuration/configuration_organization /configuration
 /contributing/community/other /contributing/community
+/profiler/storage /profiler