--- a/series	Fri May 24 12:57:52 2019 +0200
+++ b/series	Mon Jul 08 12:56:52 2019 +0200
@@ -12,3 +12,4 @@
 # Firefox patches
 firefox-kde.patch
 firefox-branded-icons.patch
+firefox-add-kde.js-in-order-to-survive-PGO-build.patch