18:57
<ljharb>
do yall agree that https://github.com/tc39/ecma262/pull/2863 is a normative spec bug?
18:58
<bakkot>
no, definitely editorial
18:58
<bakkot>
previous text was incoherent and the intent was unambiguously supposed to be the thing this PR changes it to
19:04
<ljharb>
aha k
19:26
<shu>
leftShit 💀
20:19
<ljharb>
the IPR check is still not working properly; as kevin predicted i'm switching from the compare API to the commits listing API. there's apparently more missing authors, so once the check will pass, i'll put up a PR for it
20:20
<ljharb>
bakkot: also the ecmarkup linter failed on main https://github.com/tc39/ecma262/runs/7924437508?check_suite_focus=true maybe just the minus sign messing it up?
20:29
<bakkot>
yeah it's just the minus sign
20:29
<bakkot>
let me see if I can patch that real quick
21:11
<bakkot>
ljharb: https://github.com/tc39/ecma262/pull/2864