- From: Anne van Kesteren <notifications@github.com>
- Date: Thu, 16 Feb 2023 22:26:02 -0800
- To: whatwg/webidl <webidl@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Friday, 17 February 2023 06:26:15 UTC
When PRs or issues are closed, please always file a follow-up. I've taken care of it this time around: #1268. -- Reply to this email directly or view it on GitHub: https://github.com/whatwg/webidl/pull/1138#issuecomment-1434157948 You are receiving this because you are subscribed to this thread. Message ID: <whatwg/webidl/pull/1138/c1434157948@github.com>
Received on Friday, 17 February 2023 06:26:15 UTC