Re: WebIDL crawler

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