On date Saturday 2012-06-02 16:43:02 +0200, Michael Niedermayer encoded: > On Fri, Jun 01, 2012 at 06:43:24PM +0200, Stefano Sabatini wrote: > > Helps debuggability. > > LGTM Pushed, thanks. -- FFmpeg = Fast & Freak Muttering Pure Esoteric Gadget