- From: W3C Webmaster via GitHub API <sysbot+gh@w3.org>
- Date: Tue, 06 Jun 2023 17:00:21 +0000
- To: public-secondscreen@w3.org
Received on Tuesday, 6 June 2023 17:00:23 UTC
Pull requests
-------------
* webscreens/window-placement (+1/-0/💬0)
1 pull requests submitted:
- Editorial: Replace <aside> with <div> (by inexorabletash)
https://github.com/w3c/window-management/pull/136
Repositories tracked by this digest:
-----------------------------------
* https://github.com/w3c/presentation-api
* https://github.com/w3c/remote-playback
* https://github.com/w3c/openscreenprotocol
* https://github.com/webscreens/screen-enumeration
* https://github.com/webscreens/window-placement
* https://github.com/webscreens/window-segments
* https://github.com/webscreens/form-factors
--
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 6 June 2023 17:00:23 UTC