mirror of
https://github.com/servo/servo
synced 2026-05-10 09:02:30 +02:00
This was due to the fact that two PRs doing this landed around the same time. This PR eliminates the duplicate check. Testing: This should not change behavior so is covered by existing tests. Signed-off-by: Martin Robinson <mrobinson@igalia.com>
24 KiB
24 KiB