Rename Integer divides to is_multiple_of.#16045
Closed
treeman wants to merge 1 commit intorust-lang:masterfrom
treeman:issue-15710
Closed
Rename Integer divides to is_multiple_of.#16045treeman wants to merge 1 commit intorust-lang:masterfrom treeman:issue-15710
treeman wants to merge 1 commit intorust-lang:masterfrom
treeman:issue-15710