mirror of
https://github.com/servo/servo
synced 2026-05-13 18:37:30 +02:00
Do not merge yet - we need to create a new html5ever release. The html5ever bump also includes encoding indicators, which we handle in the most minimal way possible here. They will be handled properly by https://github.com/servo/servo/pull/41730 Companion PR for https://github.com/servo/html5ever/pull/719 --------- Signed-off-by: Simon Wülker <simon.wuelker@arcor.de>