diff options
-rw-r--r-- | profiles/package.mask | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index ca6395788d79..476b33d63c8a 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -34,6 +34,12 @@ #--- END OF EXAMPLES --- # Michał Górny <mgorny@gentoo.org> (2023-03-28) +# Unmaintained. The current Gentoo version is from 2017 and has +# multiple build failures reported. +# Removal on 2023-04-27. Bug #721816. +app-editors/le + +# Michał Górny <mgorny@gentoo.org> (2023-03-28) # No py3.11 support, package already patched for 3.10. Last release # in 2018. No revdeps. # Removal on 2023-04-27. Bug #894604. |