On 01/04/2008, Michael Niedermayer <michaelni at gmx.at> wrote: > On Tue, Apr 01, 2008 at 12:22:56PM +0200, Stefano Sabatini wrote: > > Hi, > > as in r12559, avoids information duplication regarding the option > > name. > > ok Applied. Rob