Could we rename mplayer-w32codecs to something like codecs-extras?
Since this package provides more codecs i think we should keep him.

-- 
Hugo Doria
http://hdoria.archlinux-br.org

Reply via email to