mozilla/rust — pull request #14319 by kballard (2014-05-21 03:55:10+00:00)
Title: Remove Rng.choose(), rename Rng.choose_option() to .choose()

Rng.choose() is used so rarely that it doesn't necessitate having two
methods, especially since the failing, non-option variant also requires
Clone.

[breaking-change]