diff options
author | 2021-10-24 11:20:32 +0200 | |
---|---|---|
committer | 2021-10-24 11:20:32 +0200 | |
commit | bb574dceaee83a08e2c5961cae7e8ba058b51889 (patch) | |
tree | 20d29ce45a1a3b22bf39a4293e93494a00d8c114 /profiles | |
parent | app-misc/jdupes: Fix WrongMaintainerType (diff) | |
download | gentoo-bb574dceaee83a08e2c5961cae7e8ba058b51889.tar.gz gentoo-bb574dceaee83a08e2c5961cae7e8ba058b51889.tar.bz2 gentoo-bb574dceaee83a08e2c5961cae7e8ba058b51889.zip |
dev-lang/bashforth: treeclean
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/package.mask | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index c1b535907e14..4ffefaeb8b48 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -458,10 +458,6 @@ media-libs/libpulse media-sound/pulseaudio-daemon >=media-sound/pulseaudio-15.0-r100 -# Anthony G. Basile <blueness@gentoo.org> (2021-09-24) -# Masked for removal in 30 days. Dead upstream. -dev-lang/bashforth - # Michał Górny <mgorny@gentoo.org> (2021-08-28) # EOL kernel with known vulnerabilities. Please move to 5.14 or one # of the LTS branches. Bug #814464. |