On Sat, Jul 03, 2004 at 11:56:11AM +0900, Kibum Han wrote:
> Skins of gmplayer upgraded, which means their file names are changed.
> Check a attached diff file.
> 
> Also Making fetch multimedia/realplayer-codecs failed. The second attached
> file clearly fixes the problem, but I don't know if it's a beautiful way.
> Better idea is welcome.

Fixed both, thanks for the note.
 Thomas