profiles: Update package.mask
authorManuel Rüger <mrueg@gentoo.org>
Sat, 6 Feb 2016 17:14:52 +0000 (18:14 +0100)
committerManuel Rüger <mrueg@gentoo.org>
Sat, 6 Feb 2016 17:14:52 +0000 (18:14 +0100)
profiles/package.mask

index bd57e596bc1ec58c77190a47c0811dc0f41f9271..0bceef0ca35d78fc42c96570215d9ab0ac28d62a 100644 (file)
@@ -259,10 +259,6 @@ media-sound/mimd
 # Fails to build, bug #514826. Removal in a month.
 sys-cluster/gfs-kernel
 
-# Pacho Ramos <pacho@gentoo.org> (06 Jan 2016)
-# Fails to build, bug #514832. Removal in a month.
-x11-misc/matchbox-panel-manager
-
 # Pacho Ramos <pacho@gentoo.org> (06 Jan 2016)
 # Unmaintained, security issues, bug #515272. Removal in a month.
 net-misc/italc