Re: manual - repeated word

[Jim Gallacher]

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