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

Update null_monitor.c #2509

Closed
wants to merge 1 commit into from
Closed

Update null_monitor.c #2509

wants to merge 1 commit into from

Conversation

eltociear
Copy link

comment minor fix

comment minor fix
@dougbinks dougbinks requested review from dougbinks and removed request for elmindreda March 18, 2024 16:31
@dougbinks
Copy link
Contributor

This appears to be automated or semi-automated Github stat padding, with a large number of similar spelling correction PRs from the same user, so we will not be accepting this.

@dougbinks dougbinks closed this Mar 18, 2024
@elmindreda elmindreda added this to the None milestone Mar 18, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants