Don't emit rustdoc::broken_intra_doc_links
for GitHub-flavored Markdown admonitions like [!NOTE]
#144921
Merged
bors merged 1 commit intorust-lang:masterfrom Aug 12, 2025