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