diff options
author | Mart Raudsepp <leio@gentoo.org> | 2018-07-28 16:51:23 +0300 |
---|---|---|
committer | Mart Raudsepp <leio@gentoo.org> | 2018-07-28 16:53:47 +0300 |
commit | 707b5731b0da0844b8072a8108d5a6834c246611 (patch) | |
tree | 55b67f268b9895ded8bf921cf03509b04590bce7 /profiles | |
parent | profiles/package.mask: Remove now obsolete gst-plugins-mad:1.0 mask (diff) | |
download | gentoo-707b5731b0da0844b8072a8108d5a6834c246611.tar.gz gentoo-707b5731b0da0844b8072a8108d5a6834c246611.tar.bz2 gentoo-707b5731b0da0844b8072a8108d5a6834c246611.zip |
media-plugins/gst-plugins-schroedinger: Remove last rited package
Update p.mask for that accordingly, but keep it around for longer for
informational purposes to slow upgraders.
Closes: https://bugs.gentoo.org/658194
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/package.mask | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index a841409cf0e7..6530fa81c3e7 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -215,7 +215,8 @@ games-emulation/hatari # Mart Raudsepp <leio@gentoo.org> (16 Jun 2018) # No upstream (website disappeared), no upstream plugin maintainer, # and pretty much a fringe format anyway. -# Marked for removal in 30 days, bug #658194 +# Please keep this package.mask entry until at least 16th Sep 2018 for +# extra notification of the deprecation and replacement. Bug #658194 media-plugins/gst-plugins-schroedinger # Mike Gilbert <floppym@gentoo.org> (15 Jun 2018) |