Skip to content

Update lints for rename of intra_doc_link_resolution_failure#37

Merged
lopopolo merged 1 commit intomasterfrom
renamed-rustdoc-link-failure-lint
Aug 6, 2020
Merged

Update lints for rename of intra_doc_link_resolution_failure#37
lopopolo merged 1 commit intomasterfrom
renamed-rustdoc-link-failure-lint

Conversation

@lopopolo
Copy link
Member

@lopopolo lopopolo commented Aug 6, 2020

This lint was renamed to broken_intra_doc_links as part of feature
stabilization.

The lint was renamed in rust-lang/rust#74926

This lint was renamed to broken_intra_doc_links as part of feature
stabilization.

The lint was renamed in rust-lang/rust#74926
@lopopolo lopopolo added C-docs Category: Improvements or additions to documentation. A-build Area: CI build infrastructure. labels Aug 6, 2020
@lopopolo lopopolo merged commit a8c94e6 into master Aug 6, 2020
@lopopolo lopopolo deleted the renamed-rustdoc-link-failure-lint branch August 6, 2020 14:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-build Area: CI build infrastructure. C-docs Category: Improvements or additions to documentation.

Development

Successfully merging this pull request may close these issues.

1 participant