profiles: Mask media-sound/ventrilo-server-bin for removal.
authorUlrich Müller <ulm@gentoo.org>
Fri, 5 Jul 2019 11:03:01 +0000 (13:03 +0200)
committerUlrich Müller <ulm@gentoo.org>
Fri, 5 Jul 2019 11:05:08 +0000 (13:05 +0200)
commit3f4528525d6ab5cfafe4c0c116d8770894070645
tree8ac9c9d72f4c17a4cc77924e33fe62bfeb4f78e8
parentf7a7d89fafceba1b46e3ccd1eee8fb8a68c23276
profiles: Mask media-sound/ventrilo-server-bin for removal.

Bug: https://bugs.gentoo.org/689158
Acked-by: Michał Górny <mgorny@gentoo.org> (with treecleaner hat)
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
profiles/package.mask