Skip to content

Conversation

jooert
Copy link
Contributor

@jooert jooert commented Jun 24, 2015

This seems to have slipped through the cracks in #26192.

r? @alexcrichton

@alexcrichton
Copy link
Member

@bors: r+ 239d9c2 rollup

Oops, thanks!

bors added a commit that referenced this pull request Jun 24, 2015
…richton

This seems to have slipped through the cracks in #26192.

r? @alexcrichton
@bors
Copy link
Collaborator

bors commented Jun 24, 2015

⌛ Testing commit 239d9c2 with merge 009e53d...

@bors bors merged commit 239d9c2 into rust-lang:master Jun 25, 2015
@jooert jooert deleted the remove_bit_vec_append_splitoff branch June 25, 2015 07:07
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