Re: [webidl] Bug (sort of) (#98)

I was basically reporting this error with my W3C AC hat on.  The W3C short names should work all the time, regardless of whether they are perceived as "trash" in the community.  But thanks for the pointer.

---
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/heycam/webidl/issues/98#issuecomment-197462768