Skip to content

Conversation

senekor
Copy link
Contributor

@senekor senekor commented Oct 5, 2025

Motivated by the discussion here.

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Oct 5, 2025
@senekor
Copy link
Contributor Author

senekor commented Oct 5, 2025

cc @lnicola @ChayimFriedman2

@ChayimFriedman2
Copy link
Contributor

Thanks!

@ChayimFriedman2 ChayimFriedman2 added this pull request to the merge queue Oct 5, 2025
Merged via the queue into rust-lang:master with commit 90b3db1 Oct 5, 2025
15 checks passed
@rustbot rustbot removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Oct 5, 2025
@senekor senekor deleted the senekor/tpoptnlrxzyy branch October 5, 2025 12:00
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