Skip to content

Conversation

WaffleLapkin
Copy link
Member

@WaffleLapkin WaffleLapkin commented Dec 27, 2023

Changes suggested by @apiraino in #716
cc @Nilstrieb

@rustbot
Copy link
Collaborator

rustbot commented Dec 27, 2023

r? @pietroalbini

(rustbot has picked a reviewer for you, use r? to override)

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Dec 27, 2023
@Noratrieb Noratrieb merged commit ec8c88a into master Dec 27, 2023
@Noratrieb Noratrieb deleted the more-issue-triaging-links branch December 27, 2023 19:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants