On Mon, Oct 17, 2011 at 5:25 AM, Richard Guenther
<richard.guent...@gmail.com> wrote:
> 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.
Richard, I don't think it is.

Reply via email to