media-plugins/vdr-prefermenu masked for removal on ~15/Oct/2013, Bug
#420883 #414177

-- 
Gentoo Developer
mailto: hd_brummy@gentoo.org
http://www.gentoo.org/