[MPlayer-dev-eng] [PATCH] change timer_name type

Reimar Döffinger Reimar.Doeffinger at gmx.de
Tue Jun 22 21:19:58 CEST 2010


On Tue, Jun 22, 2010 at 10:31:13AM +0200, Diego Biurrun wrote:
> On Tue, Jun 22, 2010 at 09:55:56AM +0200, Diego Biurrun wrote:
> > This is ripped straight from Uoti's tree, looks harmless enough, but
> > I'd appreciate a second pair of eyes.
> 
> .. and now with patch attached ..

Sure, fine...



More information about the MPlayer-dev-eng mailing list