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

Diego Biurrun diego at biurrun.de
Wed Jun 23 12:51:11 CEST 2010


On Tue, Jun 22, 2010 at 09:19:58PM +0200, Reimar Döffinger wrote:
> 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...

Applied.

Diego



More information about the MPlayer-dev-eng mailing list