Skip to content

Conversation

@tamird
Copy link
Member

@tamird tamird commented Aug 23, 2023

Appease the new lint rustdoc::redundant_explicit_links that was added in
rust-lang/rust#113167.

Appease the new lint rustdoc::redundant_explicit_links that was added in
rust-lang/rust#113167.
@tamird tamird requested a review from alessandrod August 23, 2023 15:02
@netlify
Copy link

netlify bot commented Aug 23, 2023

Deploy Preview for aya-rs-docs ready!

Name Link
🔨 Latest commit b91d90d
🔍 Latest deploy log https://app.netlify.com/sites/aya-rs-docs/deploys/64e65ad507571300082340a7
😎 Deploy Preview https://deploy-preview-764--aya-rs-docs.netlify.app
📱 Preview on mobile
Toggle QR Code...

QR Code

Use your smartphone camera to open QR code link.

To edit notification comments on pull requests, go to your Netlify site configuration.

@mergify mergify bot added the aya This is about aya (userspace) label Aug 23, 2023
@mergify mergify bot added the test A PR that improves test cases or CI label Aug 23, 2023
@vadorovsky vadorovsky merged commit 1fa1241 into main Aug 23, 2023
@vadorovsky vadorovsky deleted the fix-docs branch August 23, 2023 20:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

aya This is about aya (userspace) test A PR that improves test cases or CI

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants