--- a/firefox-branded-icons.patch Tue Nov 19 22:54:22 2019 +0100
+++ b/firefox-branded-icons.patch Mon Nov 25 08:26:42 2019 +0100
@@ -1,6 +1,6 @@
# HG changeset patch
# Parent e0751ad74e835e80041a61ea00c2a63bf6fbe2de
-# Parent b75f4c79d0757cd16065811d34a563bdb5cfb15e
+# Parent 127964dc93cc35715852bc811dcc67016d918628
diff --git a/browser/branding/branding-common.mozbuild b/browser/branding/branding-common.mozbuild
--- a/browser/branding/branding-common.mozbuild
@@ -43,8 +43,8 @@
#endif
@RESPATH@/browser/features/*
- ; [Webide Files]
- @RESPATH@/browser/chrome/webide@JAREXT@
- @RESPATH@/browser/chrome/webide.manifest
+ ; [DevTools Startup Files]
+ @RESPATH@/browser/chrome/devtools-startup@JAREXT@
+ @RESPATH@/browser/chrome/devtools-startup.manifest
- ; [DevTools Startup Files]
+ ; DevTools