mozilla/rust — pull request #11182 by luisbg (2013-12-28 21:27:33+00:00)
Title: Rename pkgid and PkgId to crateid and CrateId

Issue #11048