Skip to content

Remove random capital letters#2064

Merged
charisk merged 1 commit intomainfrom
charisk/copy-tidy
Feb 13, 2023
Merged

Remove random capital letters#2064
charisk merged 1 commit intomainfrom
charisk/copy-tidy

Conversation

@charisk
Copy link
Copy Markdown
Contributor

@charisk charisk commented Feb 10, 2023

Remove random capital letters to match the other tooltips.

Checklist

N/A:

  • 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.

@charisk charisk added the secexp label Feb 10, 2023
@charisk charisk requested a review from a team February 10, 2023 16:48
@charisk charisk requested a review from a team as a code owner February 10, 2023 16:48
@charisk charisk merged commit 366965a into main Feb 13, 2023
@charisk charisk deleted the charisk/copy-tidy branch February 13, 2023 09:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@aeisenberg aeisenberg aeisenberg approved these changes

Assignees

No one assigned

Labels

secexp

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@charisk @aeisenberg