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

[Diego Biurrun]

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 ..

Diego
-------------- next part --------------
A non-text attachment was scrubbed...
Name: timer.diff
Type: text/x-diff
Size: 1438 bytes
Desc: not available
URL: <http://lists.mplayerhq.hu/pipermail/mplayer-dev-eng/attachments/20100622/a5209a09/attachment.diff>