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: Thu, 12 Jul 2018 09:44:56 +0000
To: public-webauthn@w3.org
Message-ID: <push-e949d53db92d1f5ca01399b01b8fd26d7f943901-1531388695-sysbot+gh@w3.org>

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

* Built by Travis-CI: 7e5256f6f564fa99f68e45123402143450e17d5f Merge pull request #993 from w3c/resident-key-terminology-2
  by Travis-CI
https://github.com/w3c/webauthn/commit/e949d53db92d1f5ca01399b01b8fd26d7f943901
Received on Thursday, 12 July 2018 09:44:59 UTC

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