Skip to content

/ rust-smallvec

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Expose more std::vec::Vec methods #12

Merged
merged 1 commit into from Jul 29, 2015
Merged

Expose more std::vec::Vec methods #12

merged 1 commit into from Jul 29, 2015

Conversation

@AerialX
Copy link
Contributor

AerialX commented Jul 23, 2015

Review on Reviewable
@AerialX AerialX force-pushed the AerialX:updates branch from 61ef98d to a4e3a3a Jul 24, 2015
@AerialX
Expose more std::vec::Vec methods
Loading status checks…
a4e3a3a
@SimonSapin
Copy link
Member

SimonSapin commented Jul 29, 2015

@bors-servo r+
@metajack
Copy link
Contributor

metajack commented Jul 29, 2015

Switching on bors now.
@metajack
Copy link
Contributor

metajack commented Jul 29, 2015

@bors-servo r=SimonSapin
@bors-servo
Copy link
Contributor

bors-servo commented Jul 29, 2015

📌 Commit a4e3a3a has been approved by SimonSapin
@bors-servo
Copy link
Contributor

bors-servo commented Jul 29, 2015

⌛ Testing commit a4e3a3a with merge 3e329f0...
bors-servo pushed a commit that referenced this pull request Jul 29, 2015
bors-servo
Auto merge of #12 - AerialX:updates, r=SimonSapin
Loading status checks…
3e329f0 
Expose more std::vec::Vec methods



<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/rust-smallvec/12)
<!-- Reviewable:end -->
@bors-servo
Copy link
Contributor

bors-servo commented Jul 29, 2015

☀️ Test successful - travis
@bors-servo bors-servo merged commit a4e3a3a into servo:master Jul 29, 2015
2 checks passed
2 checks passed
continuous-integration/travis-ci/pr The Travis CI build passed
Details
homu Test successful
Details
@scottostler scottostler mentioned this pull request Feb 18, 2016
Closed
@mbrubeck mbrubeck mentioned this pull request Nov 27, 2017
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Linked issues

Successfully merging this pull request may close these issues.

None yet

4 participants
@AerialX @SimonSapin @metajack @bors-servo
You can’t perform that action at this time.