W3C home > Mailing lists > Public > public-webauthn@w3.org > June 2019

[webauthn] Pull Request: Re-merge PR #1165

From: Emil Lundberg via GitHub <sysbot+gh@w3.org>
Date: Wed, 12 Jun 2019 11:21:47 +0000
To: public-webauthn@w3.org
Message-ID: <pull_request.opened-287461310-1560338505-sysbot+gh@w3.org>
emlun has just submitted a new pull request for https://github.com/w3c/webauthn:

== Re-merge PR #1165 ==
@equalsJeffH [discovered](https://github.com/w3c/webauthn/pull/1165#issuecomment-501068262) that PR #1165 was merged into the `appid-note` branch after PR #1118 had been merged to master, so these commits never made it into master.

See https://github.com/w3c/webauthn/pull/1234
Received on Wednesday, 12 June 2019 11:21:48 UTC

This archive was generated by hypermail 2.4.0 : Thursday, 24 March 2022 20:38:35 UTC