W3C home > Mailing lists > Public > public-device-apis-log@w3.org > April 2017

Closed: [sensors] Fix deploy script for PRs

From: Tobie Langel via GitHub <sysbot+gh@w3.org>
Date: Fri, 28 Apr 2017 07:27:20 +0000
To: public-device-apis-log@w3.org
Message-ID: <issues.closed-211838704-1493364439-sysbot+gh@w3.org>
tobie closed this issue. See https://github.com/w3c/sensors/issues/173
Received on Friday, 28 April 2017 07:27:26 UTC

This archive was generated by hypermail 2.3.1 : Monday, 23 October 2017 12:18:53 UTC