Skip to content

Conversation

Nemo157
Copy link
Member

@Nemo157 Nemo157 commented Nov 16, 2020

This reverts commit d8caa1c.

Workaround for #1181

Can't easily be tested locally since it relies on the behaviour of docs built a long time ago.

@jyn514 jyn514 merged commit 7eb89bc into rust-lang:master Nov 16, 2020
@Nemo157 Nemo157 deleted the workaround-1181 branch September 12, 2022 10:06
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