History of Idiom 11 > diff from v84 to v85
Edit summary for version 85 by gnrfan:
[Python] duplicate - can be deleted
[Python] duplicate - can be deleted
↷
Version 84
2019-12-26, 16:42:55
Version 85
2019-12-26, 16:44:32
Idiom #11 Pick a random element from a list
List x must be non-empty.
Idiom #11 Pick a random element from a list
List x must be non-empty.