diff options
author | Mart Raudsepp <leio@gentoo.org> | 2019-03-18 11:02:43 +0200 |
---|---|---|
committer | Mart Raudsepp <leio@gentoo.org> | 2019-03-18 12:03:43 +0200 |
commit | 47eae11169417ceb64402ef1d21043a1f1ccce76 (patch) | |
tree | 889fb32127fd568d522d737b4b170a5473f710e7 /profiles/package.mask | |
parent | gnome-extra/gnome-shell-extensions: require older mutter/gnome-shell (diff) | |
download | gentoo-47eae11169417ceb64402ef1d21043a1f1ccce76.tar.gz gentoo-47eae11169417ceb64402ef1d21043a1f1ccce76.tar.bz2 gentoo-47eae11169417ceb64402ef1d21043a1f1ccce76.zip |
gnome-extra/gnome-shell-extensions: bump to 3.30.1
Package-Manager: Portage-2.3.52, Repoman-2.3.12
Signed-off-by: Mart Raudsepp <leio@gentoo.org>
Diffstat (limited to 'profiles/package.mask')
-rw-r--r-- | profiles/package.mask | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 1c106a989ff0..3ba3368b103d 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -92,6 +92,7 @@ media-video/get_flash_videos ~net-irc/polari-3.30.2 ~x11-wm/mutter-3.30.2 ~gnome-base/gnome-shell-3.30.2 +~gnome-extra/gnome-shell-extensions-3.30.1 # Lars Wendler <polynomial-c@gentoo.org> (17 Mar 2019) # Breaks user crontab (#680764) |