- From: Vincent Scheib <scheib@google.com>
- Date: Thu, 26 Feb 2015 11:21:53 -0800
- To: Philip Jägenstedt <philipj@opera.com>, Webapps WG <public-webapps@w3.org>
Received on Thursday, 26 February 2015 19:22:54 UTC
Thanks, Philip, changes made. On Thu, Feb 26, 2015 at 10:58 AM, Philip Jägenstedt <philipj@opera.com> wrote: > Also, the EventHandler type should not be nullable, it's already > typedef'd to be nullable in https://html.spec.whatwg.org/#eventhandler > > On Fri, Feb 27, 2015 at 1:56 AM, Philip Jägenstedt <philipj@opera.com> > wrote: > > https://dvcs.w3.org/hg/pointerlock/raw-file/default/index.html > > > > The section "Element Interface" should be "Extensions to the Element > > Interface" to match the other sections, and because it's true :) > > > > Philip >
Received on Thursday, 26 February 2015 19:22:54 UTC