Skip to content

Version 1.4.2 - #233

Merged
bors-servo merged 1 commit into
servo:masterfrom
mbrubeck:bump
Aug 11, 2020
Merged

Version 1.4.2#233
bors-servo merged 1 commit into
servo:masterfrom
mbrubeck:bump

Conversation

@mbrubeck

@mbrubeckmbrubeck commented Aug 11, 2020

Copy link
Copy Markdown
Collaborator

Changelog:

This PR also changes the author field in Cargo.toml to "The Servo Project Developers".

@mbrubeck
Version 1.4.2
ba0f462
* `insert_many` no longer leaks elements if the provided iterator panics (servo#213).
* The unstable `const_generics` and `specialization` features are
updated to work with the most recent nightly Rust toolchain (servo#232).
* Internal code cleanup (servo#229, servo#231).
@jdm

jdm commented Aug 11, 2020

Copy link
Copy Markdown
Member

@bors-servo r+

@bors-servo

bors-servo commented Aug 11, 2020

Copy link
Copy Markdown
Contributor

📌 Commit ba0f462 has been approved by jdm

@bors-servo

bors-servo commented Aug 11, 2020

Copy link
Copy Markdown
Contributor

⌛ Testing commit ba0f462 with merge 9ae7076...

@bors-servo

bors-servo commented Aug 11, 2020

Copy link
Copy Markdown
Contributor

☀️ Test successful - checks-travis
Approved by: jdm
Pushing 9ae7076 to master...

@bors-servo
bors-servo merged commit 9ae7076 into servo:masterAug 11, 2020
Sign up for freeto 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.

3 participants

@mbrubeck@jdm@bors-servo