It seems this issue is addressed by the merged PR, shall we close it? any objections? -- GitHub Notification of comment by riccardoAlbertoni Please view or discuss this issue at https://github.com/w3c/dxwg/issues/1359#issuecomment-847024876 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-configReceived on Monday, 24 May 2021 12:59:04 UTC
This archive was generated by hypermail 2.4.0 : Thursday, 24 March 2022 20:28:37 UTC