Skip to content

Conversation

salemtalha
Copy link
Contributor

Fixes #11785.

@huonw
Copy link
Contributor

huonw commented Jan 25, 2014

BTW, if you write something like "fixes #11785" in the commit message/description, then GitHub will automatically close that issue when the pull request is merged (I've edited it into the PR description): docs.

@salemtalha
Copy link
Contributor Author

Oh cool! This is my first open source contribution ever, really happy right now.

@huonw
Copy link
Contributor

huonw commented Jan 25, 2014

Awesome! ❤️

bors added a commit that referenced this pull request Jan 25, 2014
@bors bors closed this Jan 25, 2014
@bors bors merged commit 1b4623d into rust-lang:master Jan 25, 2014
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.

Peekable's is_empty() has the wrong definition.
3 participants