Skip to content

Conversation

@eddyb
Copy link
Member

@eddyb eddyb commented Dec 23, 2024

Had this lying around intermixed with -Zscript experiments I never completed, and we keep running into situations where this simple addition would be useful.

@eddyb eddyb enabled auto-merge December 23, 2024 21:54
@eddyb eddyb added this pull request to the merge queue Dec 24, 2024
Copy link
Collaborator

@LegNeato LegNeato left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Would be nice to add this to the changelog or docs somewhere but not blocking.

Merged via the queue into Rust-GPU:main with commit ca0ecc2 Dec 24, 2024
7 checks passed
@eddyb eddyb deleted the push-uwrkorpywmlm branch December 24, 2024 02:43
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.

2 participants