[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