Fix description of unsigned `checked_exact_div`#144947

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

tautschnig:remove-stray-checked_div-commenttautschnig/verify-rust-std:remove-stray-checked_div-commentCopy head branch name to clipboard