W3C home > Mailing lists > Public > public-device-apis-log@w3.org > December 2018

Re: [sensors] Update echidna.sh flags (#376)

From: Anssi Kostiainen via GitHub <sysbot+gh@w3.org>
Date: Wed, 19 Dec 2018 12:16:13 +0000
To: public-device-apis-log@w3.org
Message-ID: <issue_comment.created-448574313-1545221772-sysbot+gh@w3.org>
Minor update the the script we use to publish WDs, so merging without review. If this breaks, please remember to update your bikeshed.

-- 
GitHub Notification of comment by anssiko
Please view or discuss this issue at https://github.com/w3c/sensors/pull/376#issuecomment-448574313 using your GitHub account
Received on Wednesday, 19 December 2018 12:16:15 UTC

This archive was generated by hypermail 2.4.0 : Monday, 4 July 2022 12:47:56 UTC