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

[webauthn] new commits pushed by WebAuthnBot

From: WebAuthnBot via GitHub <sysbot+gh@w3.org>
Date: Wed, 01 Jul 2020 19:37:18 +0000
To: public-webauthn@w3.org
Message-ID: <push-e3649e60d7a25e58ebbf3786a6af3e4a6101848e-1593632237-sysbot+gh@w3.org>


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

* Built by Travis-CI: f230f33119b869140782c14c6315d9e28709ea5e Merge pull request #1440 from w3c/issue-1435-extension-io-types
  by Travis-CI
https://github.com/w3c/webauthn/commit/e3649e60d7a25e58ebbf3786a6af3e4a6101848e

Received on Wednesday, 1 July 2020 19:37:23 UTC

This message: [ Message body ]
Next message: WebAuthnBot via GitHub: "[webauthn] new commits pushed by WebAuthnBot"
Previous message: Mike Jones: "[w3c/webauthn] dea84e: Remove unused WebIDL type AuthenticationExtensions..."

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]
Help: [ How to use the archives ] [ Search in the archives ]

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