- From: Anne van Kesteren <notifications@github.com>
- Date: Wed, 13 Oct 2021 23:58:59 -0700
- To: whatwg/webidl <webidl@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Thursday, 14 October 2021 06:59:11 UTC
That's great! (I didn't mean to close this by the way, it seems that somehow the branch rename didn't affect this PR and then when the master branch was removed it got automatically closed.) -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/whatwg/webidl/pull/626#issuecomment-943068608
Received on Thursday, 14 October 2021 06:59:11 UTC