From 91637fd6ab7cd43517c182bbdb4bd8f575210018 Mon Sep 17 00:00:00 2001 From: Baptiste Grob <60621355+baptiste-grob@users.noreply.github.com> Date: Tue, 13 Oct 2020 10:37:47 +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 8c8520f21..6e54529cc 160000 --- a/public/extensions/extensions-manager +++ b/public/extensions/extensions-manager @@ -1 +1 @@ -Subproject commit 8c8520f21810007f7585fad1739d5541c032d07e +Subproject commit 6e54529cc22665e94ec0008d8d80253f638d9b1b