Skip to content

Conversation

@syphar
Copy link
Member

@syphar syphar commented Jan 16, 2026

needed for rust-lang/docs.rs#3136, but IMO generally useful

@syphar syphar self-assigned this Jan 16, 2026
@syphar
Copy link
Member Author

syphar commented Jan 16, 2026

r? @GuillaumeGomez

@syphar syphar merged commit 0d080fe into rust-lang:main Jan 16, 2026
5 checks passed
@syphar syphar deleted the copy-source-to branch January 16, 2026 10:57
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