- From: Philip Jägenstedt via GitHub <sysbot+gh@w3.org>
- Date: Tue, 23 Mar 2021 08:38:40 +0000
- To: public-webrtc-logs@w3.org
@dontcallmedom I had to check a few times and find an example to convince myself that "bigint" was correct. It makes sense since the other numerical types are also lowercased. Sorry to create extra work, but it's good we caught this since webidl2.js went with "bigint". -- GitHub Notification of comment by foolip Please view or discuss this issue at https://github.com/w3c/webrtc-encoded-transform/pull/92#issuecomment-804721159 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 23 March 2021 08:38:41 UTC