search

w3c / push-api

Push API
https://w3c.github.io/push-api/
Other
144 stars 40 forks source link

Editorial: use new constructor IDL syntax #319

Closed marcoscaceres closed 4 years ago

marcoscaceres commented 4 years ago

Closes #318

Preview | Diff

marcoscaceres commented 4 years ago

Blocked on ReSpec support. https://github.com/w3c/respec/issues/2494

marcoscaceres commented 4 years ago

Should be good to merge now - the Travis error is #315... @beverloo, maybe you can look at #315 while you are at it?

marcoscaceres commented 4 years ago

Why do we have to keep changing things...

Keeps us busy and employed, Martin 🤪