Skip to content

Rename PatUniq to PatBox. Fixes part of #13910.#14483

Merged
bors merged 1 commit intorust-lang:masterfrom
ahmedcharles:patbox
May 29, 2014

Commits

Commits on May 28, 2014