From f0ca8ce4f29163fe4e9fc3d978b31cef9a50d752 Mon Sep 17 00:00:00 2001
From: Baptiste Grob <60621355+baptiste-grob@users.noreply.github.com>
Date: Thu, 8 Oct 2020 12:40:14 +0200
Subject: [PATCH] chore(deps): upgrade extensions-manager

---
 public/extensions/extensions-manager | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/public/extensions/extensions-manager b/public/extensions/extensions-manager
index 1fb1ff1b5..8c8520f21 160000
--- a/public/extensions/extensions-manager
+++ b/public/extensions/extensions-manager
@@ -1 +1 @@
-Subproject commit 1fb1ff1b52af28bf0e2233228eb1577a43a533de
+Subproject commit 8c8520f21810007f7585fad1739d5541c032d07e