Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Due to a regression in rust [1], rustdoc is not built anymore but is required by some ports. Force the build of rustdoc. [1] rust-lang/rust@11e002a PR: 271036
- Loading branch information