Thanks, @dr-shorthair , for approving this PR. Please note that I need to complete some final editorial fixes, so I would wait until then before merging. -- GitHub Notification of comment by andrea-perego Please view or discuss this issue at https://github.com/w3c/dxwg/pull/1360#issuecomment-842701095 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-configReceived on Monday, 17 May 2021 23:11:44 UTC
This archive was generated by hypermail 2.4.0 : Thursday, 24 March 2022 20:28:37 UTC