From 7e5863d6dcc65cad8808e01ce4ab21f3c0b1e4d7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rapha=C3=ABl=20Hertzog?= <raphael@offensive-security.com>
Date: Fri, 8 Nov 2019 18:41:21 +0100
Subject: [PATCH] Force the upgrade of kali-menu to 2019.4.4 or higher.

That way we ensure that we have desktop file for the kali and offsec
websites.
---
 debian/control | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/debian/control b/debian/control
index 63567073..18ee3523 100644
--- a/debian/control
+++ b/debian/control
@@ -46,7 +46,9 @@ Depends: kali-themes-common (= ${source:Version}),
 # For boot-time splash screen
  plymouth-label,
  ${misc:Depends}
-Breaks: kali-defaults (<< 2019.4.0), kali-desktop-xfce (<< 2019.4.16)
+Breaks: kali-defaults (<< 2019.4.0),
+ kali-desktop-xfce (<< 2019.4.16),
+ kali-menu (<< 2019.4.4)
 Replaces: kali-defaults (<< 2019.4.0)
 Description: Configure all desktops to use the Kali theme
  Installing this package should configure most desktops to use the Kali theme