- From: Timothy Gu <notifications@github.com>
- Date: Thu, 11 Jan 2018 12:47:14 -0800
- To: heycam/webidl <webidl@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Thursday, 11 January 2018 20:47:36 UTC
@tobie [OmitIndexingProperties] was immediately renamed to [NoIndexingProperties] in the next commit, and to "omittable special operations" (which I referred to in https://github.com/heycam/webidl/issues/511#issuecomment-357052546) to account for other special operations some time later. > so it seems we should be able to just get rid of it, no? Yes. -- 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/issues/511#issuecomment-357056279
Received on Thursday, 11 January 2018 20:47:36 UTC