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

dd-008-richer-input: mention @DecFox reviews #1633

Merged
merged 1 commit into from
Jul 2, 2024

Conversation

bassosimone
Copy link
Contributor

I noticed the document has not been updated to mention that @DecFox serviced several reviews for it.

I noticed the document has not been updated to mention that @DecFox serviced several reviews for it.
@bassosimone
Copy link
Contributor Author

bassosimone commented Jul 2, 2024

Speed merging since this is just a minor documentation change and @DecFox gave me a "go ahead" for this.

@bassosimone bassosimone merged commit 61864d0 into master Jul 2, 2024
16 checks passed
@bassosimone bassosimone deleted the bassosimone-patch-1 branch July 2, 2024 12:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
1 participant