mirror of
https://github.com/servo/servo
synced 2026-05-10 17:12:23 +02:00
This allows servo to use the ExternalScrollId API from WebRender fixing some issues related to duplicate scroll root ids. Fixes #17176. Fixes #19287. Fixes #19648.