W3C home > Mailing lists > Public > public-script-coord@w3.org > July to September 2016

Re: WebIDL crawler

From: Francois Daoust <fd@w3.org>
Date: Wed, 17 Aug 2016 12:57:20 +0200
To: "'Tab Atkins Jr.'" <jackalmage@gmail.com>
Cc: <public-script-coord@w3.org>, "'Dominique Hazael-Massieux'" <dom@w3.org>
Message-ID: <017c01d1f876$215234c0$63f69e40$@w3.org>
On Fri, Jul 15, 2016 at 10:58 AM, Tab Atkins, Jr. < jackalmage@gmail.com> wrote:
>
> Note in particular that the tool is missing the "callback" type from
> its list of global-name-defining things.

Now fixed, thanks Tab!

Francois.
Received on Wednesday, 17 August 2016 10:57:44 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 17 August 2016 10:57:44 UTC