Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign upstyle: Optimize serialization of identifiers of length <= 16 🐉🐲 #19974
Conversation
highfive
commented
Feb 7, 2018
|
Heads up! This PR modifies the following files:
|
highfive
commented
Feb 7, 2018
|
r=me with a green geckotry. Nice dragoning. |
|
@bors-servo r=nox |
|
|
|
@bors-servo r- |
|
Thanks @jdm, fixed |
|
@bors-servo try
|
style: Optimize serialization of identifiers of length <= 16🐉 🐲 Much like we optimize to_ascii_lowercase. <!-- Reviewable:start --> --- This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/19974) <!-- Reviewable:end -->
|
@bors-servo r=nox
|
|
|
style: Optimize serialization of identifiers of length <= 16🐉 🐲 Much like we optimize to_ascii_lowercase. <!-- Reviewable:start --> --- This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/19974) <!-- Reviewable:end -->
|
|
Much like we optimize to_ascii_lowercase. This also fixes a bug in Servo where attr() rules with an unknown namespace prefix are parsed, which is wrong.
|
@bors-servo r=nox |
|
|
style: Optimize serialization of identifiers of length <= 16🐉 🐲 Much like we optimize to_ascii_lowercase. <!-- Reviewable:start --> --- This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/19974) <!-- Reviewable:end -->
|
|
|
@bors-servo retry |
style: Optimize serialization of identifiers of length <= 16🐉 🐲 Much like we optimize to_ascii_lowercase. <!-- Reviewable:start --> --- This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/19974) <!-- Reviewable:end -->
|
|
emilio commentedFeb 7, 2018
•
edited by SimonSapin
Much like we optimize to_ascii_lowercase.
This change is