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

[Giorgio Vazzana]

2012/1/5 Reimar Döffinger <Reimar.Doeffinger at gmx.de>:
> On Thu, Jan 05, 2012 at 04:28:33PM +0100, Giorgio Vazzana wrote:
>> 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.
>
> I committed and changed a few more places.

Thanks.