| 16:19 | <Michael Ficarra> | @ljharb hold off on https://github.com/tc39/ecma262/pull/3393, the guy updated the PR after being marked as ready to merge |
| 16:19 | <Michael Ficarra> | @nicolo-ribaudo wasn't aware that we decided in editor call to not link to the archive.org snapshot |
| 16:19 | <ljharb> | ok, he pointed the URL at archive.org per nicolo's comment |
| 16:19 | <ljharb> | ah ok |
| 16:19 | <ljharb> | sure, lmk |
| 16:44 | <Michael Ficarra> | @ljharb since it wasn't a force-push, can you just take the first commit and drop the new one? |
| 16:46 | <Michael Ficarra> | also, we should probably get this one in ASAP https://github.com/tc39/ecma262/pull/3404 @shu |
| 17:32 | <ljharb> | yeah i can just drop the new commit, nbd |
| 17:32 | <ljharb> | and sure, i'll prioritize that one |