Skip to content

Account for renaming AllocRef to Allocator on nightly#215

Merged
bors merged 1 commit into
rust-lang:masterfrom
caelunshun:rename-allocator
Dec 8, 2020
Merged

Account for renaming AllocRef to Allocator on nightly#215
bors merged 1 commit into
rust-lang:masterfrom
caelunshun:rename-allocator

Conversation

@caelunshun

Copy link
Copy Markdown
Contributor

AllocRef was renamed to Allocator in rust-lang/rust#79286.

@Amanieu

Amanieu commented Dec 8, 2020

Copy link
Copy Markdown
Member

@bors r+

@bors

bors commented Dec 8, 2020

Copy link
Copy Markdown
Contributor

📌 Commit b6daaf0 has been approved by Amanieu

@bors

bors commented Dec 8, 2020

Copy link
Copy Markdown
Contributor

⌛ Testing commit b6daaf0 with merge acbedaa...

@bors

bors commented Dec 8, 2020

Copy link
Copy Markdown
Contributor

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

@bors bors merged commit acbedaa into rust-lang:master Dec 8, 2020
@caelunshun caelunshun deleted the rename-allocator branch December 8, 2020 22:28
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