GCC 4.0.2 and PR 23993

[Paolo Carlini]

Mark Mitchell wrote:

>1. Release 4.0.2 without fixing this PR.  (The bits are ready, sitting
>   on my disk.)
>
>2. Apply the patch, respin the release, and release it.
>
>3. Apply the patch, spin RC3, and go through another testing cycle.
>  
>
I vote for option 3., not 1. and also not 2. (sorry ;)

Paolo.