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

Various cleanups #31

Merged
merged 3 commits into from Dec 13, 2018
Merged

Various cleanups #31

merged 3 commits into from Dec 13, 2018

Conversation

Manishearth
Copy link
Member

Fixed a typo, converted comments to doc comments

@Manishearth
Copy link
Member Author

r? @jdm

@Manishearth Manishearth changed the title Various cleanup Various cleanups Dec 13, 2018
@jdm
Copy link
Member

jdm commented Dec 13, 2018

@bors-servo r+

@jdm jdm merged commit 7b29218 into servo:master Dec 13, 2018
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.

None yet

2 participants