Skip to content

clippy: Fix a few problems in components/script/dom#31955

Merged
mrobinson merged 3 commits intoservo:mainfrom
six-shot:file
Apr 1, 2024
Merged

clippy: Fix a few problems in components/script/dom#31955
mrobinson merged 3 commits intoservo:mainfrom
six-shot:file

Conversation

@six-shot
Copy link
Copy Markdown
Contributor

@six-shot six-shot commented Mar 31, 2024


  • These changes do not require tests because they do not change functionality

@mrobinson mrobinson changed the title clippy:Fixed various clippy problems clippy: Fix a few problems in components/script/dom Mar 31, 2024
@mrobinson mrobinson enabled auto-merge March 31, 2024 22:57
@mrobinson mrobinson added this pull request to the merge queue Mar 31, 2024
Merged via the queue into servo:main with commit 00c4d79 Apr 1, 2024
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.

Fix as many clippy problems as possible

2 participants