Skip to content

Conversation

@marxin
Copy link
Contributor

@marxin marxin commented Feb 7, 2025

Apparently there's necessary a bigger overhaul of the sections related to ParamEnv and the change author is working on that (@lcnr).

In the meantime, I would like to remove the 2 links so that green can be green again.

@lcnr lcnr merged commit db0e7e2 into rust-lang:master Feb 7, 2025
1 check passed
@marxin marxin deleted the workaround-borked-link branch February 7, 2025 16: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