W3C home > Mailing lists > Public > public-webrtc-logs@w3.org > March 2021

Re: [webrtc-encoded-transform] Fix case of Web IDL bigint type (#92)

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
Message-ID: <issue_comment.created-804721159-1616488718-sysbot+gh@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

This archive was generated by hypermail 2.4.0 : Saturday, 6 May 2023 21:19:53 UTC