@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-configReceived on Tuesday, 23 March 2021 08:38:41 UTC
This archive was generated by hypermail 2.4.0 : Saturday, 6 May 2023 21:19:53 UTC