search

w3c / push-api

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

Final IDL cleanup #232

Closed martinthomson closed 7 years ago

martinthomson commented 7 years ago

See https://github.com/w3c/push-api/pull/231#issuecomment-265552037

martinthomson commented 7 years ago

I think that we're in reasonable shape. Let's continue to play whack-a-mole as we notice errors.