[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