- From: <bugzilla@jessica.w3.org>
- Date: Thu, 17 Nov 2011 10:36:56 +0000
- To: public-script-coord@w3.org
http://www.w3.org/Bugs/Public/show_bug.cgi?id=14843
Robin Berjon <robin@berjon.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |robin@berjon.com
--- Comment #4 from Robin Berjon <robin@berjon.com> 2011-11-17 10:36:55 UTC ---
(In reply to comment #3)
> We'd want to update WebIDL before we could ask the maintainer of the library
> we're using to update that. I could comment out just this chunk of the IDL if
> necessary, of course, but it would be nicer if we could parse it as-is.
I'm the author of the library. Since I have only been needing it intermittently
in recent months, my plan has been to wait for WebIDL to actually stabilise
before doing a complete update. That being said, several people have needed
changes to match WebIDL's fluctuations and simply patched it directly (cf
https://github.com/darobin/webidl.js).
If you're really stuck and need this update though, email me and I'll try to
fit it in.
--
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
Received on Thursday, 17 November 2011 10:37:01 UTC