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

RE: WebIDL crawler

From: Domenic Denicola <d@domenic.me>
Date: Thu, 21 Jul 2016 20:07:05 +0000
To: Joshua Bell <jsbell@google.com>, Anne van Kesteren <annevk@annevk.nl>
CC: Dominique Hazael-Massieux <dom@w3.org>, public-script-coord <public-script-coord@w3.org>, François Daoust <fd@w3.org>
Message-ID: <DM2PR0501MB1373803D85D58EA44A1CAE6FDF090@DM2PR0501MB1373.namprd05.prod.outlook.com>
From: Joshua Bell [mailto:jsbell@google.com] 

> Looks like https://w3c.github.io/push-api/ has `typedef object JSON;` ?

Which isn't even correct, since `null` and `5` and `"foo"` are all valid JSON... -_- Filed https://github.com/w3c/push-api/issues/204


Received on Thursday, 21 July 2016 20:07:40 UTC

This archive was generated by hypermail 2.3.1 : Thursday, 21 July 2016 20:07:41 UTC