Julian Berman <[email protected]> added the comment:
Considering this is pretty easily written more or less as
r = range(20)
r.pop(random.randrange(0, len(r)))
is it really worth adding?
----------
nosy: +Julian
_______________________________________
Python tracker <[email protected]>
<http://bugs.python.org/issue12941>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe:
http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
