- From: <bugzilla@jessica.w3.org>
- Date: Thu, 09 Oct 2014 15:09:18 +0000
- To: public-script-coord@w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=23033
mvanouwerkerk@chromium.org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |mvanouwerkerk@chromium.org
--- Comment #9 from mvanouwerkerk@chromium.org ---
I'd like to get this specced somwhere. I'm not in favor of monkey patching this
in the Push API. If IDL is not staffed, it seems better to add it to DOM than
to define it in Push.
--
You are receiving this mail because:
You are on the CC list for the bug.
Received on Thursday, 9 October 2014 15:09:19 UTC