On Mon, Oct 17, 2011 at 11:42 AM, Paolo Carlini <paolo.carl...@oracle.com> wrote: > FWIW, I still believe that tweaking the documentation to match the long > standing reality, would be a small improvement. I'm not going to further > insist, anyway.
The original patch is ok. Thanks, Richard. > Paolo. >