06:30
<annevk>
FYI: we'll likely cancel today's meeting unless there's something important. https://github.com/whatwg/html/issues/11307
11:55
<annevk>
TabAtkins: in https://github.com/whatwg/fetch/pull/1647 I added a </div> closing tag in a commit on top of the PR and the build passed before and after.
12:34
<annevk>
Noam Rosenthal: I made some tweaks to https://github.com/whatwg/fetch/pull/1647 that I could use your review on. I want to make some more tweaks to fetch groups as they have never been modernized it seems. All kinds of type/member confusion.
13:25
<annevk>
Noam Rosenthal: I don't understand why "reserved deferred-fetch quota" is defined under Fetch groups.
19:11
<Noam Rosenthal>
annevk: thanks, I'll take a look on Monday! also about your second question.
23:34
<TabAtkins>
Hm, I'll look into it.
23:38
<TabAtkins>
I think the current version isn't quite as strict on ending tags as the one I'm working on right now.
23:38
<TabAtkins>

Yup, confirmed, if I use the version in my working copy to process that PR's file with an extra </div> at the end, I get:

LINE 9955:1: Saw an end tag </div>, but there's no open element corresponding to it.