- From: Christoph Guttandin via GitHub <sysbot+gh@w3.org>
- Date: Sun, 12 Mar 2023 15:56:41 +0000
- To: public-webtiming@w3.org
Should I try to craft a PR for that change? -- GitHub Notification of comment by chrisguttandin Please view or discuss this issue at https://github.com/webtiming/timingobject/issues/32#issuecomment-1465234660 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Sunday, 12 March 2023 15:56:43 UTC