On 22/03/2008, Michael Niedermayer <michaelni at gmx.at> wrote: > On Fri, Mar 21, 2008 at 05:32:26PM +0100, Stefano Sabatini wrote: > > Hi, avoids duplication of the options key information already > > contained in the options array. > > probably ok Tested and seems to work fine. Applied. Rob