mirror of
https://github.com/servo/servo
synced 2026-05-11 17:37:21 +02:00
The pipeline id stuff is currently unused. If someone needs it, they can add an additional trait bound on their css error reporter to get the pipeline id.