Skip to content

Conversation

aatxe
Copy link
Contributor

@aatxe aatxe commented Dec 8, 2014

This was discussed in #rust-internals. It's a small change.

@sfackler
Copy link
Member

sfackler commented Dec 8, 2014

Can you squash the commits together?

@aatxe
Copy link
Contributor Author

aatxe commented Dec 8, 2014

Just did it, and then saw this.

alexcrichton added a commit to alexcrichton/rust that referenced this pull request Dec 9, 2014
@bors bors merged commit ad7dacd into rust-lang:master Dec 9, 2014
lnicola pushed a commit to lnicola/rust that referenced this pull request Apr 28, 2025
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