- From: Tobie Langel via GitHub <sysbot+gh@w3.org>
- Date: Thu, 11 May 2017 13:13:58 +0000
- To: public-device-apis-log@w3.org
The right thing would have been to close the PR. Not merge it. -- GitHub Notification of comment by tobie Please view or discuss this issue at https://github.com/w3c/magnetometer/pull/21#issuecomment-300785148 using your GitHub account
Received on Thursday, 11 May 2017 13:14:05 UTC