[Python-Dev] Fun with 2.3 shutdown

[Jeremy Hylton]

On Fri, 2003-09-19 at 01:37, Anthony Baxter wrote:
> Hm. Is this serious enough a problem to hold off 2.3.1 until it's fixed?
> My feeling is "no", because it only affects Z3 developers, and they're 
> hardened to random pain by now, and it's also just a shutdown glitch. 

I don't think it's worth waiting, because we don't have a plan for
fixing it.  Even if we did, it's arguable whether it belongs in a bug
fix release -- at least not without extensive developer testing with the
CVS head.

Jeremy