On Fri, Dec 11, 2009 at 16:01, Kostis Sagonas <kostis@REDACTED> wrote: > The issue has been discussed in this list before and has already been > fixed in the development version. The R13B04 manual will include > documentation about these options. Oh, sorry for the noise, I missed that... regards, Vlad