Oh, this is now probably failing because it was merged already. -- GitHub Notification of comment by tobie Please view or discuss this issue at https://github.com/w3c/sensors/pull/408#issuecomment-768392688 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-configReceived on Wednesday, 27 January 2021 16:09:16 UTC
This archive was generated by hypermail 2.4.0 : Monday, 4 July 2022 12:47:58 UTC