W3C home > Mailing lists > Public > public-webauthn@w3.org > August 2022

[webauthn] new commits pushed by github-actions[bot]

From: github-actions[bot] via GitHub <sysbot+gh@w3.org>
Date: Mon, 22 Aug 2022 12:40:51 +0000
To: public-webauthn@w3.org
Message-ID: <push-c7b195839bbc8648ad804f7691efc665679902be-1661172050-sysbot+gh@w3.org>

The following commits were just pushed by github-actions[bot] to https://github.com/w3c/webauthn:

* Merge pull request #1771 from w3c/flags-namespace

SHA: f754904a85127c82e894b2163b2da4a3d57ca4a5
Reason: push, by @emlun

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
  by Emil Lundberg
https://github.com/w3c/webauthn/commit/c7b195839bbc8648ad804f7691efc665679902be



-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 22 August 2022 12:40:53 UTC

This archive was generated by hypermail 2.4.0 : Monday, 22 August 2022 12:40:55 UTC