mirror of
https://github.com/servo/servo
synced 2026-05-09 16:42:16 +02:00
This was left over from https://github.com/servo/servo/pull/42725#pullrequestreview-3832117437 Signed-off-by: sagudev <16504129+sagudev@users.noreply.github.com>