Skip to content

chore: remove redundant word in comment#19937

Merged
timvandermeij merged 1 commit intomozilla:masterfrom
studystill:master
May 17, 2025
Merged

chore: remove redundant word in comment#19937
timvandermeij merged 1 commit intomozilla:masterfrom
studystill:master

Conversation

@studystill
Copy link
Contributor

remove redundant word in comment

@timvandermeij timvandermeij merged commit b05351c into mozilla:master May 17, 2025
9 checks passed
@timvandermeij
Copy link
Contributor

Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants