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

Diego Biurrun diego at biurrun.de
Tue Jun 22 09:55:56 CEST 2010


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

Diego



More information about the MPlayer-dev-eng mailing list