<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">2015-05-29 14:06 GMT-07:00 Antony Lee <span dir="ltr"><<a href="mailto:antony.lee@berkeley.edu" target="_blank">antony.lee@berkeley.edu</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br><div dir="ltr"><div class="gmail_extra"><span class=""><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>A proof-of-concept implementation, still missing tests, is tracked as #5911.  It includes the patch proposed in #5158 as an example of how to include an improved version of random.choice.</div></div></blockquote><div> </div></div></span>Tests are in now (whether we should bundle in pickles of old versions to make sure they are still unpickled correctly and outputs of old random streams to make sure they are still reproduced is a good question, though).<br></div><div class="gmail_extra">Comments welcome.<span class="HOEnZb"><font color="#888888"><br></font></span><span class="HOEnZb"></span></div></div>
</blockquote></div><br></div><div class="gmail_extra">Kindly bumping the issue.<br><br></div><div class="gmail_extra">Antony<br></div></div>