Skip to content

Conversation

JohnTitor
Copy link
Member

@JohnTitor JohnTitor commented May 21, 2022

  • fixed one broken link
  • updated date reference

cc #1344

@JohnTitor JohnTitor mentioned this pull request May 21, 2022
36 tasks
@JohnTitor
Copy link
Member Author

cc @rust-lang/rustdoc it'd be great if someone from the team could review this, I'm not familiar with rustdoc :)

@JohnTitor JohnTitor added the S-waiting-on-review Status: this PR is waiting for a reviewer to verify its content label May 21, 2022
@GuillaumeGomez
Copy link
Member

Thanks a lot for the update! :)

Let's check if I have r+ rights here:

@bors r+

@GuillaumeGomez
Copy link
Member

Ah, it's not handled by bors in here. Well, you got my approval to merge. :)

@JohnTitor
Copy link
Member Author

Thanks both! This repo needs one approval from reviewers with write access, so going to cc @rust-lang/wg-rustc-dev-guide :)

Copy link
Member

@camelid camelid left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Rubber-stamping as rustc-dev-guide team member, not rustdoc team member ;)

@camelid camelid merged commit 554c00e into rust-lang:master May 25, 2022
@JohnTitor JohnTitor deleted the cleanup-rustdoc-internals branch May 25, 2022 07:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-review Status: this PR is waiting for a reviewer to verify its content

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants