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.