Juan A. Javierre wrote on Tue, 10 Apr 2012 22:51:21 +0200: > Login credentials to Mplayer-DOCS do not work. Do I need others? Will > anybody send them to me? Or just post your patches here and someone with commit access will apply them. Ingo