Skip to content

Conversation

Toby222
Copy link
Contributor

@Toby222 Toby222 commented Oct 6, 2023

Fix names of intrinsics in error messages from exec_intrinsic
(moved from rust-lang/rust#116478)

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Oct 6, 2023
@lnicola
Copy link
Member

lnicola commented Oct 6, 2023

Thanks!

@bors r+

@bors
Copy link
Contributor

bors commented Oct 6, 2023

📌 Commit 114f8a0 has been approved by lnicola

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Oct 6, 2023

⌛ Testing commit 114f8a0 with merge a158670...

@bors
Copy link
Contributor

bors commented Oct 6, 2023

☀️ Test successful - checks-actions
Approved by: lnicola
Pushing a158670 to master...

@bors bors merged commit a158670 into rust-lang:master Oct 6, 2023
@lnicola lnicola changed the title Fix typos exec_intrinsic minor: Fix typos exec_intrinsic Oct 6, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants