Skip to content

/ servo.org

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Line wrap, remove redundancy, and remove 'performant' #26

Merged
merged 2 commits into from Jun 30, 2016
Merged

Line wrap, remove redundancy, and remove 'performant' #26

merged 2 commits into from Jun 30, 2016
+4 −3

Conversation

@edunham
Copy link
Contributor

edunham commented Jun 30, 2016 •
edited by larsbergstrom

182 14:29:00 @jack edunham: larsberg: someone change performant to high-performance or i will die inside

Can't have @metajack dying, inside or out!

This change is Reviewable
@edunham
Line wrap, remove redundancy, and remove 'performant'
7e77513
@edunham
Copy link
Contributor Author

edunham commented Jun 30, 2016 •
edited

Old phrasing:

Servo is a modern, performant browser engine designed to be appropriate for applications including embedded use.

New phrasing:

Servo is a modern, high-performance browser engine designed for applications including embedded use.

Servo is a modern, high-performance browser engine designed for both application and embedded use.
@metajack
Copy link
Contributor

metajack commented Jun 30, 2016

how about "design for both applications and embedding". with that or something similar r=me
@edunham
app use and embedded use
9f3ec5b
@edunham
Copy link
Contributor Author

edunham commented Jun 30, 2016

I think it's correct to phrase "runs in userland" as "designed for application use"?
@edunham
Copy link
Contributor Author

edunham commented Jun 30, 2016 

15:40:00 <@jack> edunham: feel free to correct my grammar if need be :)

Grammar corrected; merging r=jack.
@edunham edunham merged commit c8b8ff3 into servo:gh-pages Jun 30, 2016
@edunham edunham deleted the edunham:performant branch Jun 30, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Linked issues

Successfully merging this pull request may close these issues.

None yet

2 participants
@edunham @metajack
You can’t perform that action at this time.