Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

document a waffle fact #8

Closed
wants to merge 1 commit into from
Closed

document a waffle fact #8

wants to merge 1 commit into from

Conversation

jyn514
Copy link
Sponsor Collaborator

@jyn514 jyn514 commented Dec 17, 2023

r? WaffleLapkin

@teloxidebot
Copy link
Collaborator

Thanks for the pull request, and welcome! The Rust team is excited to review your changes, and you should hear from @WaffleLapkin (or someone else) soon.

@jyn514 jyn514 changed the title document important waffle facts document an important waffle fact Dec 17, 2023
@teloxidebot
Copy link
Collaborator

Could not assign reviewer from: WaffleLapkin.
User(s) WaffleLapkin are either the PR author, already assigned, or on vacation, and there are no other candidates.
Use r? to specify someone else to assign.

@jyn514
Copy link
Sponsor Collaborator Author

jyn514 commented Dec 17, 2023

ok so that does replicate it yay

@jyn514 jyn514 changed the title document an important waffle fact document a waffle fact Dec 17, 2023
@teloxidebot
Copy link
Collaborator

Could not assign reviewer from: WaffleLapkin.
User(s) WaffleLapkin are either the PR author, already assigned, or on vacation, and there are no other candidates.
Use r? to specify someone else to assign.

@jyn514
Copy link
Sponsor Collaborator Author

jyn514 commented Dec 17, 2023

and yeah cool it's on every edit not just the first

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants