Skip to content

Some minor linting issues fixed#991

Merged
mikelittle merged 1 commit intomasterfrom
202507-21-lint-fixes
Jul 28, 2025
Merged

Some minor linting issues fixed#991
mikelittle merged 1 commit intomasterfrom
202507-21-lint-fixes

Conversation

@mikelittle
Copy link
Contributor

Some typos fixed.

@mikelittle mikelittle merged commit e5715c5 into master Jul 28, 2025
1 of 2 checks passed
@mikelittle mikelittle deleted the 202507-21-lint-fixes branch July 28, 2025 14:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport v23-branch developer advocacy Developer Advocacy related tasks

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants