- From: Tobie Langel <notifications@github.com>
- Date: Mon, 17 Oct 2016 16:32:06 -0700
- To: heycam/webidl <webidl@noreply.github.com>
Received on Monday, 17 October 2016 23:32:34 UTC
Fix distinguishable algorithm. Closes #190. Fix record handling in various algorithms. Closes #191, closes #189. You can view, comment on, or merge this pull request online at: https://github.com/heycam/webidl/pull/192 -- Commit Summary -- * Various follow-up fixes to #180. -- File Changes -- M index.bs (15) M index.html (196) -- Patch Links -- https://github.com/heycam/webidl/pull/192.patch https://github.com/heycam/webidl/pull/192.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/192
Received on Monday, 17 October 2016 23:32:34 UTC