Magic-Mirror/gecko-dev
1
0
Fork 0
mirror of https://github.com/mozilla/gecko-dev.git synced 2024-12-11 08:13:35 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
7f38cbf185
gecko-dev/servo
History
Emilio Cobos Álvarez 27fa0a2a60 Bug 1466645: Remove PropertyId::name. r=xidorn 
It's only used for the error path in property parsing, so most of the time is
not useful.

Use the just-introduced NonCustomPropertyId::name to preserve the alias name,
which we were doing by passing the name around.

MozReview-Commit-ID: 46xxZKCoeBB
2018-06-06 09:47:16 +02:00
..
components Bug 1466645: Remove PropertyId::name. r=xidorn 2018-06-06 09:47:16 +02:00
ports/geckolib Bug 1466656: Make ErrorReporter a smaller Rust type. r=heycam 2018-06-05 11:09:39 +02:00
support/gecko/nsstring Bug 1464834: Remove dead servo code. r=xidorn,heycam 2018-05-29 10:28:11 +02:00
tests/unit Bug 1464834: Remove dead servo code. r=xidorn,heycam 2018-05-29 10:28:11 +02:00
moz.build Bug 1464834: Bring back servo/moz.build to fix the linting failure. r=me 2018-05-29 11:07:31 +02:00