<span class="gmail_quote"></span><br><div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Anthony Baxter said that the patch wasn&#39;t making it into 
2.5.1, and<br>since he is the release manager, his word is just about as final as<br>Guido&#39;s (at least regarding the releases he does).</blockquote><div><br>Ah, oops! Work got busy, and I must have missed that in the Endless Threads.
<br><br>Nevermind then. :)<br><br>--S <br></div>
<br></div>