rust-lang/rust — pull request #18421 by tbu- (2014-10-29 09:10:06+00:00)
Title: Fix `core::num::CheckedDiv::checked_div` documentation

The "/" was probably generated by a `gq` in vim.