mozilla/rust — pull request #8200 by kballard (2013-08-01 22:19:09+00:00)
Title: option: mutate() and mutate_default() should return bool

Fixes #8047.