- From: Tobie Langel <notifications@github.com>
- Date: Tue, 08 Nov 2016 00:36:00 -0800
- To: heycam/webidl <webidl@noreply.github.com>
Received on Tuesday, 8 November 2016 08:36:33 UTC
tobie commented on this pull request. > @@ -12032,22 +12034,18 @@ defined in section [[#platformobjectset]]. </div> -<h4 id="getownproperty">Platform object \[[GetOwnProperty]] method</h4> +<h4 id="legacy-platform-object-getownproperty" oldis="getownproperty">Legacy platform object \[[GetOwnProperty]] method</h4> …and in the process of removing them, I found out why I had added them in the first place: one of the ids is: "platformobjectset" which is incorrect, so then decided to fix the whole bunch for consistency. I'll leave them until someone else complains. :D -- 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/230
Received on Tuesday, 8 November 2016 08:36:33 UTC