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

[Reimar Döffinger]

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.