<div dir="ltr"><div class="gmail_extra"><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>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.<br><br></div><div class="gmail_extra">Antony<br></div></div>