- From: Domenic Denicola <notifications@github.com>
- Date: Mon, 10 Oct 2022 04:19:12 -0700
- To: whatwg/webidl <webidl@noreply.github.com>
- Cc: Push <push@noreply.github.com>
Received on Monday, 10 October 2022 11:19:25 UTC
@domenic pushed 1 commit. 624237716cd977cf3c2884e5b256cf3ca2718ace message must be optional and default to "" -- View it on GitHub: https://github.com/whatwg/webidl/pull/1211/files/9d3fbe547c64588b71afb610588382aa1a1b0317..624237716cd977cf3c2884e5b256cf3ca2718ace You are receiving this because you are subscribed to this thread. Message ID: <whatwg/webidl/pull/1211/push/11278795721@github.com>
Received on Monday, 10 October 2022 11:19:25 UTC