W3C home > Mailing lists > Public > public-webauthn@w3.org > October 2017

[webauthn] new commits pushed by WebAuthnBot

From: WebAuthnBot via GitHub <sysbot+gh@w3.org>
Date: Thu, 12 Oct 2017 01:13:39 +0000
To: public-webauthn@w3.org
Message-ID: <push-8adc6b53132d85eee53a750817dca5a34bfa9412-1507770804-sysbot+gh@w3.org>

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

* Built by Travis-CI: 641949fd27a21a929fd17f2d3b95be1006120110 Merge pull request #637 from w3c/christiaanbrand-patch-1
  by Travis-CI
https://github.com/w3c/webauthn/commit/8adc6b53132d85eee53a750817dca5a34bfa9412
Received on Thursday, 12 October 2017 01:13:26 UTC

This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 07:26:28 UTC