Skip to content

Fix a comment that should be renamed.#2772

Merged
starcke merged 1 commit intomainfrom
starcke/fix-rename-comment
Sep 1, 2023
Merged

Fix a comment that should be renamed.#2772
starcke merged 1 commit intomainfrom
starcke/fix-rename-comment

Conversation

@starcke
Copy link
Copy Markdown
Contributor

@starcke starcke commented Sep 1, 2023

Fix for #2766 (review)

Checklist

  • CHANGELOG.md has been updated to incorporate all user visible changes made by this pull request.
  • Issues have been created for any UI or other user-facing changes made by this pull request.
  • [Maintainers only] If this pull request makes user-facing changes that require documentation changes, open a corresponding docs pull request in the github/codeql repo and add the ready-for-doc-review label there.

@starcke starcke requested a review from a team as a code owner September 1, 2023 09:27
@starcke starcke merged commit cdd6553 into main Sep 1, 2023
@starcke starcke deleted the starcke/fix-rename-comment branch September 1, 2023 09:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@charisk charisk charisk approved these changes

@robertbrignull robertbrignull Awaiting requested review from robertbrignull

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@starcke @charisk