Skip to content

Replace deprecated collections::Bound with ops::Bound#1746

Merged
bors merged 2 commits into
rust-lang:masterfrom
bstrie:depfix
Mar 17, 2021
Merged

Replace deprecated collections::Bound with ops::Bound#1746
bors merged 2 commits into
rust-lang:masterfrom
bstrie:depfix

Conversation

@bstrie

@bstrie bstrie commented Mar 17, 2021

Copy link
Copy Markdown
Contributor

Cc rust-lang/rust#83242 , which resulted from rust-lang/rust#82122 .

@RalfJung

Copy link
Copy Markdown
Member

Thanks. :) @bors r+

I'll edit the PR description to not close that issue; we should keep it open until the submodule is bumped.

@bors

bors commented Mar 17, 2021

Copy link
Copy Markdown
Contributor

📌 Commit 4f899ce has been approved by RalfJung

@bors

bors commented Mar 17, 2021

Copy link
Copy Markdown
Contributor

⌛ Testing commit 4f899ce with merge 65b348c...

bors added a commit that referenced this pull request Mar 17, 2021
Replace deprecated `collections::Bound` with `ops::Bound`

Fixes rust-lang/rust#83242 , which resulted from rust-lang/rust#82122 .
@RalfJung

Copy link
Copy Markdown
Member

@bors retry r+

@bors

bors commented Mar 17, 2021

Copy link
Copy Markdown
Contributor

📌 Commit fc88c6c has been approved by RalfJung

@bors

bors commented Mar 17, 2021

Copy link
Copy Markdown
Contributor

⌛ Testing commit fc88c6c with merge 12dac5c...

@bors

bors commented Mar 17, 2021

Copy link
Copy Markdown
Contributor

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing 12dac5c to master...

@bors bors merged commit 12dac5c into rust-lang:master Mar 17, 2021
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