rust-lang/rust — pull request #16045 by treeman (2014-07-28 14:10:07+00:00)
Title: Rename Integer divides to is_multiple_of.

This is a fix for #15710.