- From: Jeremy Roman <notifications@github.com>
- Date: Wed, 31 Jul 2024 08:47:18 -0700
- To: whatwg/webidl <webidl@noreply.github.com>
- Cc: Push <push@noreply.github.com>
Received on Wednesday, 31 July 2024 15:47:22 UTC
@jeremyroman pushed 1 commit. 2387fdce2c234a293fde4a2023d345922b26a69a fix formatting -- View it on GitHub: https://github.com/whatwg/webidl/pull/1424/files/9ae367c3fd6205d809cb35caffa68ce631e365b4..2387fdce2c234a293fde4a2023d345922b26a69a You are receiving this because you are subscribed to this thread. Message ID: <whatwg/webidl/pull/1424/before/9ae367c3fd6205d809cb35caffa68ce631e365b4/after/2>
Received on Wednesday, 31 July 2024 15:47:22 UTC