diff --git a/third_party/devtools-frontend b/third_party/devtools-frontend
index 2a5562d..ae714aa 160000
--- a/third_party/devtools-frontend
+++ b/third_party/devtools-frontend
@@ -1 +1 @@
-Subproject commit 2a5562dea4bfa759c15700d2311fc623c1b684d1
+Subproject commit ae714aac9f0a7c8683fa4dff5a7dcaf55c233ad4