- From: Anne van Kesteren <notifications@github.com>
- Date: Thu, 19 Jan 2023 22:26:12 -0800
- To: whatwg/url <url@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Friday, 20 January 2023 06:26:25 UTC
@mnot I figured you'd be interested in a change of this magnitude, if it were to happen. As an example, `http://[::1%32]/` is currently failure per the URL Standard (and Gecko & WebKit), but `http://[::12]/` in Chromium. After the proposed change it would be `http://[[::1]/`. I'd rather align on failure. As I understand it the use case for ignoring it is that sometimes you might happen across a URL (such as with a printer) and the zone ID doesn't matter because the default zone also works. How common is that for most end users? -- Reply to this email directly or view it on GitHub: https://github.com/whatwg/url/issues/742#issuecomment-1397972176 You are receiving this because you are subscribed to this thread. Message ID: <whatwg/url/issues/742/1397972176@github.com>
Received on Friday, 20 January 2023 06:26:25 UTC