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

[Gil Pedersen]

On 22/06/2010, at 09.55, Diego Biurrun wrote:

> This is ripped straight from Uoti's tree, looks harmless enough, but
> I'd appreciate a second pair of eyes.

Then you should attach the patch ;-)