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

[Diego Biurrun]

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