diff -r 8e9195853a32 -r 572ec48f3fe8 firefox-branded-icons.patch
--- 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