Skip to content

Rename memory hooks #2488

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Merged
merged 2 commits into from
Aug 16, 2022
Merged

Rename memory hooks #2488

merged 2 commits into from
Aug 16, 2022

Conversation

saethlin
Copy link
Member

Companion to rust-lang/rust#100600

@RalfJung RalfJung added the S-blocked-on-rust Status: Blocked on landing a Rust PR label Aug 15, 2022
@RalfJung
Copy link
Member

@saethlin could you rebase and update the rust-version file?

@saethlin saethlin force-pushed the rename-memory-hooks branch from ebc74cb to 3992f06 Compare August 16, 2022 12:10
@saethlin saethlin marked this pull request as ready for review August 16, 2022 12:12
@RalfJung
Copy link
Member

@bors r+
Thanks!

@bors
Copy link
Contributor

bors commented Aug 16, 2022

📌 Commit 3992f06 has been approved by RalfJung

It is now in the queue for this repository.

@RalfJung RalfJung removed the S-blocked-on-rust Status: Blocked on landing a Rust PR label Aug 16, 2022
@bors
Copy link
Contributor

bors commented Aug 16, 2022

⌛ Testing commit 3992f06 with merge 39c606f...

@bors
Copy link
Contributor

bors commented Aug 16, 2022

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing 39c606f to master...

@bors bors merged commit 39c606f into rust-lang:master Aug 16, 2022
@saethlin saethlin deleted the rename-memory-hooks branch August 30, 2022 01:01
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants