From 92a79d2f8b9004de6fd706308ba6f7cd11cf3c36 Mon Sep 17 00:00:00 2001
From: Antonin Hildebrand <antonin@hildebrand.cz>
Date: Sun, 1 Nov 2020 16:24:47 +0100
Subject: [PATCH] roll devtools-frontend

---
 devtools-frontend | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/devtools-frontend b/devtools-frontend
index a8be8e76fb..a030fd21da 160000
--- a/devtools-frontend
+++ b/devtools-frontend
@@ -1 +1 @@
-Subproject commit a8be8e76fb38c767391bffde5e8a8a354a35983e
+Subproject commit a030fd21dac02e913febc78c4647c6d4f61954ee