Skip to content

chore: remove repetitive words #10737

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
Apr 8, 2024
Merged

chore: remove repetitive words #10737

merged 1 commit into from
Apr 8, 2024

Conversation

guqicun
Copy link
Contributor

@guqicun guqicun commented Apr 6, 2024

No description provided.

@guqicun
chore: remove repetitive words
f8ccfc5 
Signed-off-by: guqicun <guqicun@outlook.com>
@scala-jenkins scala-jenkins added this to the 2.13.15 milestone Apr 6, 2024
@som-snytt som-snytt added documentation No code change. Only documentation internal not resulting in user-visible changes (build changes, tests, internal cleanups) labels Apr 6, 2024
som-snytt
som-snytt approved these changes Apr 6, 2024
View reviewed changes
Copy link
Contributor

@som-snytt som-snytt left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

These are lexical repetitions, not semantic. They are usually embedded in worse grammatical flaws. Such are code comments. Leaving it to the merge guardian to decide the merit of a git object.

@SethTisue SethTisue modified the milestones: 2.13.15, 2.13.14 Apr 8, 2024
@SethTisue SethTisue merged commit 25818df into scala:2.13.x Apr 8, 2024
hamzaremmal pushed a commit to hamzaremmal/scala3 that referenced this pull request May 2, 2025
@SethTisue
Merge pull request scala/scala#10737 from guqicun/2.13.x
a5082ee 
chore: remove repetitive words
hamzaremmal pushed a commit to scala/scala3 that referenced this pull request May 7, 2025
@SethTisue
Merge pull request scala/scala#10737 from guqicun/2.13.x
6115e09 
chore: remove repetitive words
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@som-snytt som-snytt som-snytt approved these changes

Assignees
No one assigned
Labels
documentation No code change. Only documentation internal not resulting in user-visible changes (build changes, tests, internal cleanups)
Projects
None yet
Milestone
2.13.14
Development

Successfully merging this pull request may close these issues.
4 participants
@guqicun @som-snytt @SethTisue @scala-jenkins