mirror of
https://github.com/servo/servo
synced 2026-05-13 02:17:06 +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.