Skip to content

Rename pkgid and PkgId to crateid and CrateId#11182

Merged
bors merged 4 commits into
rust-lang:masterfrom
luisbg:crateid
Dec 30, 2013
Merged

Rename pkgid and PkgId to crateid and CrateId#11182
bors merged 4 commits into
rust-lang:masterfrom
luisbg:crateid

Conversation

@luisbg

@luisbg luisbg commented Dec 28, 2013

Copy link
Copy Markdown
Contributor

Issue #11048

Comment thread doc/rust.md Outdated

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

crate_id is the attribute name

@emberian

Copy link
Copy Markdown
Contributor

Thanks! Needs a rebase along with the above fixes.

@luisbg

luisbg commented Dec 29, 2013

Copy link
Copy Markdown
Contributor Author

Your comments have been fixed and the commits rebased :)

@luisbg

luisbg commented Dec 29, 2013

Copy link
Copy Markdown
Contributor Author

Tested locally twice and it passed all tests.

bors added a commit that referenced this pull request Dec 30, 2013
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants