- From: Mike West <notifications@github.com>
- Date: Tue, 12 May 2020 00:36:15 -0700
- To: heycam/webidl <webidl@noreply.github.com>
- Cc: Push <push@noreply.github.com>
Received on Tuesday, 12 May 2020 07:36:28 UTC
@mikewest pushed 1 commit. ece2c88eabdad0ddf612450bd4f03adf0301e028 fixup @domenic's feedback. -- You are receiving this because you are subscribed to this thread. View it on GitHub: https://github.com/heycam/webidl/pull/883/files/0ce9cf5b812fb201a5cf1f8817450c1b67d16eb0..ece2c88eabdad0ddf612450bd4f03adf0301e028
Received on Tuesday, 12 May 2020 07:36:28 UTC