Skip to content

Comments

Update lints for rename of intra_doc_link_resolution_failure#34

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

Update lints for rename of intra_doc_link_resolution_failure#34
lopopolo merged 1 commit intotrunkfrom
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 A-build Area: CI build infrastructure. C-docs Category: Improvements or additions to documentation. labels Aug 6, 2020
@lopopolo lopopolo merged commit a27d325 into trunk Aug 6, 2020
@lopopolo lopopolo deleted the renamed-rustdoc-link-failure-lint branch August 6, 2020 14:26
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