Skip to content
This repository was archived by the owner on Aug 25, 2025. It is now read-only.

Conversation

Mark-Simulacrum
Copy link
Member

@Mark-Simulacrum Mark-Simulacrum commented Aug 24, 2025

Moved upstream in rust-lang/rust#108534 (a few years back).

@Mark-Simulacrum Mark-Simulacrum requested a review from a team August 24, 2025 01:37
Copy link
Member

@jieyouxu jieyouxu left a comment

Choose a reason for hiding this comment

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

Thanks

@jieyouxu jieyouxu merged commit 9c7ad90 into master Aug 24, 2025
2 checks passed
@Kobzol
Copy link
Member

Kobzol commented Aug 24, 2025

We should also archive the repo through team.

@Mark-Simulacrum Mark-Simulacrum deleted the deprecate branch August 24, 2025 12:53
@Mark-Simulacrum
Copy link
Member Author

Filed rust-lang/team#1956 to archive in team

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants