diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2018-08-26 21:58:31 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2018-08-26 21:58:31 +0200 |
| commit | 8592a5fb7b79f3c5c370b74becfed9c256094b9e (patch) | |
| tree | c32cdd2e99f7c01459b4a789ae085cc098eb757c /profiles | |
| parent | sci-visualization/kst: Run xdg_desktop_database_update (diff) | |
| download | gentoo-8592a5fb7b79f3c5c370b74becfed9c256094b9e.tar.gz gentoo-8592a5fb7b79f3c5c370b74becfed9c256094b9e.tar.bz2 gentoo-8592a5fb7b79f3c5c370b74becfed9c256094b9e.zip | |
package.mask: Last rite media-video/nvidia-settings
Bug: https://bugs.gentoo.org/664638
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/package.mask | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 348f65400a15..930939cc4025 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -490,6 +490,8 @@ media-plugins/gst-plugins-ffmpeg # Jeroen Roovers <jer@gentoo.org> (12 Jan 2017) # Use x11-drivers/nvidia-drivers[tools] instead. +# Michał Górny <mgorny@gentoo.org> (26 Aug 2018) +# Removal in 30 days. Bug #664638. media-video/nvidia-settings # Michael Orlitzky <mjo@gentoo.org> (07 Jan 2017) |