mozilla/rust — pull request #9404 by blake2-ppc (2013-09-22 11:10:36+00:00)
Title: std::result: Remove function `map_opt`

std::result: Remove function `map_opt`.

This function has never had any users in the tree, so this is my
initiative to remove this function.