- From: Domenic Denicola <notifications@github.com>
- Date: Sun, 04 Jun 2023 23:44:29 -0700
- To: whatwg/webidl <webidl@noreply.github.com>
- Cc: Push <push@noreply.github.com>
Received on Monday, 5 June 2023 06:44:35 UTC
@domenic pushed 1 commit. 2867a8b020fc2be6d02dba25d62ce9e2b5be0564 should -> ought to -- View it on GitHub: https://github.com/whatwg/webidl/pull/1211/files/3bcbe0acc2a418e2b8b19438119fa57843d41390..2867a8b020fc2be6d02dba25d62ce9e2b5be0564 You are receiving this because you are subscribed to this thread. Message ID: <whatwg/webidl/pull/1211/push/13868853123@github.com>
Received on Monday, 5 June 2023 06:44:35 UTC