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

Gil Pedersen gil at cmi.aau.dk
Tue Jun 22 10:40:15 CEST 2010


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 ;-)



More information about the MPlayer-dev-eng mailing list