Skip to content

Add try_insert - #247

Merged
bors merged 1 commit into
rust-lang:masterfrom
Amanieu:try_insert
Mar 5, 2021
Merged

Add try_insert#247
bors merged 1 commit into
rust-lang:masterfrom
Amanieu:try_insert

Conversation

@Amanieu

@Amanieu Amanieu commented Mar 5, 2021

Copy link
Copy Markdown
Member

Ported from rust-lang/rust#82764.

@Amanieu

Amanieu commented Mar 5, 2021

Copy link
Copy Markdown
Member Author

@bors r+

@bors

bors commented Mar 5, 2021

Copy link
Copy Markdown
Contributor

📌 Commit eb69bd6 has been approved by Amanieu

bors added a commit that referenced this pull request Mar 5, 2021
@bors

bors commented Mar 5, 2021

Copy link
Copy Markdown
Contributor

⌛ Testing commit eb69bd6 with merge eb9f792...

@bors

bors commented Mar 5, 2021

Copy link
Copy Markdown
Contributor

💔 Test failed - checks-travis

@Amanieu

Amanieu commented Mar 5, 2021

Copy link
Copy Markdown
Member Author

@bors r+

@bors

bors commented Mar 5, 2021

Copy link
Copy Markdown
Contributor

📌 Commit 76f8cf8 has been approved by Amanieu

@bors

bors commented Mar 5, 2021

Copy link
Copy Markdown
Contributor

⌛ Testing commit 76f8cf8 with merge 2297523...

@bors

bors commented Mar 5, 2021

Copy link
Copy Markdown
Contributor

☀️ Test successful - checks-travis
Approved by: Amanieu
Pushing 2297523 to master...

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.

2 participants