From ab3fa13d5d9b32c3f2eaaf8d75055d583b26d31d Mon Sep 17 00:00:00 2001
From: Yuan Liao <liaoyuan@gmail.com>
Date: Fri, 2 Jun 2023 22:21:18 -0700
Subject: [PATCH] profiles: Mask >=gnome-extra/extension-manager-0.4.0 for
 removal

Signed-off-by: Yuan Liao <liaoyuan@gmail.com>
---
 profiles/package.mask | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/profiles/package.mask b/profiles/package.mask
index 2783824a88..9b3ab12232 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -14,6 +14,16 @@
 
 # New entries go on top.
 
+# Yuan Liao <liaoyuan@gmail.com> (2023-06-03)
+# Version 0.4.0 and later depend on sys-libs/libbacktrace, which has
+# been last-rited in ::gentoo.  The last version that does not depend
+# on libbacktrace will be kept in GURU for users who want to install
+# this package through it.  Users who wish to use the latest upstream
+# version may consider installing it from Flathub
+# <https://flathub.org/apps/com.mattjakeman.ExtensionManager>.
+# The masked versions will be removed on 2023-06-27.
+>=gnome-extra/extension-manager-0.4.0
+
 # YiFei Zhu <zhuyifei1999@gmail.com> (2023-05-21)
 # Unmaintained, outdated ebuild, upstream EOL.
 # Use app-editors/pulsar-bin instead.