From e11c32692b5bc36465e7eb9af693402d250f48f6 Mon Sep 17 00:00:00 2001 From: Jason Zaman Date: Sun, 8 Apr 2018 17:06:51 +0800 Subject: [PATCH] profiles: mask xfce-extra/xfce-theme-manager for removal --- profiles/package.mask | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/profiles/package.mask b/profiles/package.mask index b479c4006e24..011f574b9fe9 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -29,6 +29,11 @@ #--- END OF EXAMPLES --- +# Jason Zaman (08 Apr 2018) +# Dead upstream, for an old version of Xfce +# Masked for removal in 30 days. +xfce-extra/xfce-theme-manager + # Andreas Sturmlechner (06 Apr 2018) # Dead upstream, depends on dead Qt4. # Masked for removal in 30 days. Bugs #644478 -- 2.26.2