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
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4