Rename pkgid/PkgId/pkg_id to crateid/CrateId/crate_id everywhere

[emberian]

#11041 changed the public API, but all of the inners still refer to it as a PkgId. They should be updated too.

[luisbg]

I can do that :)

[luisbg]

https://github.com/luisbg/rust/commits/master

Work partly done, check out the two last commits. Showing you to make sure this is what you wanted.

The pending renamings are all in librustpkg/, will do those in a few hours.

Cheers.

[emberian]

Looks good! Thanks bundles.

On Sat, Dec 28, 2013 at 1:13 PM, Luis de Bethencourt <
notifications@github.com> wrote:

https://github.com/luisbg/rust/commits/master

Work partly done, check out the two last commits. Showing you to make sure
this is what you wanted.

The pending renamings are all in librustpkg/, will do those in a few hours.

Cheers.

—
Reply to this email directly or view it on GitHubhttps://github.com//issues/11048#issuecomment-31301576
.

[luisbg]

Your comments have been fixed and the commits rebased :)

[fhahn]

I think this issue could be closed, the corresponding pull request got merged already and I couldn't find PkgId or pkgid in the source code.

[luisbg]

Yes, it mas merged already.

@cmr, can you close it?

[alexcrichton]

hurray!