Re: Update on Push?

On 12/04/2018 02:26, Martin Thomson wrote:
> I've just merged #287.  I've suggested that #270 be closed without changes.

Thanks Martin. Chaals has submitted a PR with his suggested changes [1], 
if you have time to review/merge, that'd be welcome.

> 
> Beyond that, it might not be appropriate to move this yet.  I keep
> hearing that we'll be hearing from new implementers any day now.  Of
> course, that's being going on for a while and if you want to clear
> your plate, then feel free to give it a nudge.

If it turns out that we have at least two implementations of each 
feature, which I think we probably do between Chrome and Firefox, it'd 
be good to get to Rec. If we gain more implementors along the way, so 
much the better. Sound ok?


Léonie
[1] https://github.com/w3c/push-api/pull/294
> 
-- 
@LeonieWatson @tink@toot.cafe Carpe diem

Received on Thursday, 12 April 2018 18:22:31 UTC