Re: [push-api] Fixing definition of push message (#126)

> [...] it doesn't properly describe push messages with no body [...]
Yeah, the degenerate case is ugly, but I think that's OK.

As for timing, I expect to generate a few more, some of which might be controversial.  We can instruct Michael how to proceed if we can agree.  Or we can defer the discussion.  I don't necessarily feel the same amount of rush as you do.

---
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/pull/126#issuecomment-82621093