manual - repeated word

In 4.8.1 of the 3.3 manual, last paragraph of the Session class: "you should instead use the now obsolete session option instead." The word "instead" is repeated. Regards, -- Clodoaldo Pinto Neto

Re: manual - repeated word

Clodoaldo wrote: In 4.8.1 of the 3.3 manual, last paragraph of the Session class: "you should instead use the now obsolete session option instead." The word "instead" is repeated. Thanks. Corrected in trunk. Jim