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.

Reply via email to