mirror of
https://github.com/servo/servo
synced 2026-05-11 09:26:59 +02:00
Cleaning up some dead code which has been here for 9 years. They are never detected by Lint because we still initialize them as `None` but never change afterwards. Testing: No regression. --------- Signed-off-by: Euclid Ye <euclid.ye@huawei.com> Signed-off-by: Martin Robinson <mrobinson@igalia.com> Co-authored-by: Martin Robinson <mrobinson@igalia.com>