W3C home > Mailing lists > Public > public-webauthn@w3.org > July 2018

[webauthn] new commits pushed by WebAuthnBot

From: WebAuthnBot via GitHub <sysbot+gh@w3.org>
Date: Tue, 24 Jul 2018 22:40:37 +0000
To: public-webauthn@w3.org
Message-ID: <push-25b0ffa7d6f8fffadd9f1199f778232be7a973c0-1532472036-sysbot+gh@w3.org>

The following commits were just pushed by WebAuthnBot to https://github.com/w3c/webauthn:

* Built by Travis-CI: 8b0eb719f2061d6d1d7c74a36778843bce1dedeb Precisize "platform" and "device" terminology (#998)
  by Travis-CI
https://github.com/w3c/webauthn/commit/25b0ffa7d6f8fffadd9f1199f778232be7a973c0
Received on Tuesday, 24 July 2018 22:40:45 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 18:58:52 UTC