Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Workaround for rustdoc bug in new beta
Filed rust-lang#122758 to track a proper fix, but this seems to solve the problem in the meantime and is probably OK in terms of impact on (internal) doc quality.
- Loading branch information