mirror of
https://github.com/servo/servo
synced 2026-05-08 16:12:15 +02:00
Just fixing something missed on my last PR https://github.com/servo/servo/pull/38433#discussion_r2250744925 Signed-off-by: Leo Ring <leoring03@gmail.com>