- From: Marcos Cáceres <notifications@github.com>
- Date: Thu, 11 Aug 2016 19:20:11 -0700
- To: heycam/webidl <webidl@noreply.github.com>
Received on Friday, 12 August 2016 02:20:44 UTC
We haven't used OMG IDL on the web in over a decade (and rapidly approaching two decades). Might be time to erase it from our collective memory. One should not be required to know anything about OMG IDL read this spec, and current spec mentioning it seems to imply otherwise. You can view, comment on, or merge this pull request online at: https://github.com/heycam/webidl/pull/144 -- Commit Summary -- * Remove mention of OMG IDL -- File Changes -- M index.xml (48) -- Patch Links -- https://github.com/heycam/webidl/pull/144.patch https://github.com/heycam/webidl/pull/144.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/144
Received on Friday, 12 August 2016 02:20:44 UTC