Skip to content
This repository was archived by the owner on Jul 10, 2023. It is now read-only.

Comments

Remove unused mut.#7

Merged
yichoi merged 1 commit intoservo:masterfrom
metajack:unused-mut
May 10, 2013
Merged

Remove unused mut.#7
yichoi merged 1 commit intoservo:masterfrom
metajack:unused-mut

Conversation

@metajack
Copy link
Contributor

No description provided.

yichoi added a commit that referenced this pull request May 10, 2013
@yichoi yichoi merged commit 83ab489 into servo:master May 10, 2013
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants