WHATWG
2024-11-18
plaintext logs
prev next
source on github
09:36
<sideshowbarker>
Wonder what/where’s might be the best place to get in touch with jwatt these days. I mean, some chat/messaging way, without resorting to e-mail. I want to ask him about svgwg.org domain stuff
09:53
<annevk>
Did you try @jwatt:mozilla.org?
09:55
<sideshowbarker>
Did you try @jwatt:mozilla.org?
Perfect! And nope I hadn’t tried it but have just now DM’ed him there. Thanks much
13:40
<annevk>

Domenic: instead of navigator.pushManager should it be window.pushManager for https://github.com/w3c/push-api/pull/368? I vaguely recall some desire to deprecate the former, though Navigator also currently states

They also serve as a generic global under which various APIs are located in this and other specifications.

so maybe I misremember?

20:34
<zcorpan>
What is the right action for the participant agreement check in https://github.com/whatwg/html/pull/10547 ? canadahonk was Mozilla employee when he authored it, but is not anymore.