Skip to content
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

Jump to bottom

Add SmallVec::append method #237

Merged
merged 1 commit into from Oct 22, 2020
Merged

Add SmallVec::append method #237

merged 1 commit into from Oct 22, 2020

Conversation

mbrubeck
Copy link
Collaborator

@mbrubeck mbrubeck commented Oct 20, 2020 •
edited

Fixes #236.

@mbrubeck mbrubeck force-pushed the append branch 2 times, most recently from db52854 to 2bd455b Compare October 21, 2020 16:38
@jdm
Copy link
Member

jdm commented Oct 22, 2020

@bors-servo r+

@bors-servo
Copy link
Contributor

📌 Commit 592fc5a has been approved by jdm

@bors-servo
Copy link
Contributor

⌛ Testing commit 592fc5a with merge 28fb0f4...

@bors-servo
Copy link
Contributor

☀️ Test successful - checks-travis
Approved by: jdm
Pushing 28fb0f4 to master...

@bors-servo bors-servo merged commit 28fb0f4 into servo:master Oct 22, 2020
mbrubeck added a commit to mbrubeck/rust-smallvec that referenced this pull request Nov 16, 2020
@mbrubeck
Version 1.5.0
b825266 
Change log:

* Add the `append` method (servo#237).
* Add support for more array sizes between 17 and 31 (servo#234).
* Don't panic on deserialization errors (servo#238).
@mbrubeck mbrubeck mentioned this pull request Nov 16, 2020
Merged
bors-servo added a commit that referenced this pull request Nov 17, 2020
@bors-servo
Auto merge of #239 - mbrubeck:bump, r=jdm
fc12fb1 
Version 1.5.0

Change log:

* Add the `append` method (#237).
* Add support for more array sizes between 17 and 31 (#234).
* Don't panic on deserialization errors (#238).
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
Development

Successfully merging this pull request may close these issues.

Implementing an append() method?
3 participants
@mbrubeck @jdm @bors-servo