- From: Anne van Kesteren <notifications@github.com>
- Date: Thu, 21 Dec 2023 01:24:10 -0800
- To: whatwg/webidl <webidl@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Thursday, 21 December 2023 09:24:17 UTC
We should "Fixes #863." to the end of the final commit message. (Seems PR Preview won the race a couple times there.) -- Reply to this email directly or view it on GitHub: https://github.com/whatwg/webidl/pull/1379#issuecomment-1865926267 You are receiving this because you are subscribed to this thread. Message ID: <whatwg/webidl/pull/1379/c1865926267@github.com>
Received on Thursday, 21 December 2023 09:24:17 UTC