- From: github-actions[bot] via GitHub <sysbot+gh@w3.org>
- Date: Wed, 08 Jun 2022 22:19:11 +0000
- To: public-secondscreen@w3.org
The following commits were just pushed by github-actions[bot] to https://github.com/w3c/remote-playback: * Merge pull request #147 from dontcallmedom/events-markup SHA: 80754d9750753a013d219fbecf76ee387d311383 Reason: push, by @mfoltzgoogle Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> by Mark Foltz (Google) https://github.com/w3c/remote-playback/commit/eba82e1c6855bf3201113e09d274be5f3675a376 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 8 June 2022 22:19:12 UTC