[MPlayer-dev-eng] [PATCH] demux_ogg: Use double instead of float for pts.

[Giorgio Vazzana]

2011/12/15 Reimar Döffinger <Reimar.Doeffinger at gmx.de>:
> On Thu, Dec 15, 2011 at 07:43:01PM +0100, Giorgio Vazzana wrote:
>> The attached patch #2 should solve the problem:
>
> Seems good, we should always have used double.

Ping.