Skip to content

Remove unnecessary clone#148

Merged
Manishearth merged 1 commit into
servo:mainfrom
FranciscoTGouveia:remove-clone
Jun 9, 2026
Merged

Remove unnecessary clone#148
Manishearth merged 1 commit into
servo:mainfrom
FranciscoTGouveia:remove-clone

Conversation

@FranciscoTGouveia

Copy link
Copy Markdown
Contributor

If I am not overlooking anything, this clone can be removed, since line will not be used anywhere else later.

CC @nunoplopes

@Manishearth
Manishearth merged commit cb74174 into servo:main Jun 9, 2026
7 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