[heycam/webidl] Remove obsolete note on duplicate Proxy [[OwnPropertyKeys]] entries (#925)

The note was added in #180, a few month before https://github.com/tc39/ecma262/pull/833 was merged.

_cc_ @domenic @bzbarsky
You can view, comment on, or merge this pull request online at:

  https://github.com/heycam/webidl/pull/925

-- Commit Summary --

  * Remove obsolete note on duplicate Proxy [[OwnPropertyKeys]] entries

-- File Changes --

    M index.bs (3)

-- Patch Links --

https://github.com/heycam/webidl/pull/925.patch
https://github.com/heycam/webidl/pull/925.diff

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/heycam/webidl/pull/925

Received on Monday, 21 September 2020 18:18:41 UTC