Skip to content

chore: remove redundant word in comment from core-foundation-sys/src/number.rs - #740

Merged
mrobinson merged 1 commit into
servo:mainfrom
zhoujiaweii:main
Aug 29, 2025
Merged

chore: remove redundant word in comment from core-foundation-sys/src/number.rs#740
mrobinson merged 1 commit into
servo:mainfrom
zhoujiaweii:main

Conversation

@zhoujiaweii

Copy link
Copy Markdown
Contributor

remove redundant word in comment

Signed-off-by: zhoujiaweii <zjwustc@outlook.com>
@mrobinson mrobinson changed the title chore: remove redundant word in comment chore: remove redundant word in comment from core-foundation-sys/src/number.rs Aug 29, 2025
@mrobinson
mrobinson enabled auto-merge August 29, 2025 10:50
@mrobinson
mrobinson added this pull request to the merge queue Aug 29, 2025
Merged via the queue into servo:main with commit 7342edd Aug 29, 2025
8 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants