- From: =JeffH via GitHub <sysbot+gh@w3.org>
- Date: Wed, 12 Jun 2019 19:05:48 +0000
- To: public-webauthn@w3.org
equalsJeffH has just merged emlun's pull request 1234 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.
<!--
This comment and the below content is programatically generated.
You may add a comma-separated list of anchors you'd like a
direct link to below (e.g. #idl-serializers, #idl-sequence):
Don't remove this comment or modify anything below this line.
If you don't want a preview generated for this pull request,
just replace the whole of this comment's content by "no preview"
and remove what's below.
-->
***
<a href="https://pr-preview.s3.amazonaws.com/w3c/webauthn/pull/1234.html" title="Last updated on Jun 12, 2019, 11:22 AM UTC (379f7ab)">Preview</a> | <a href="https://pr-preview.s3.amazonaws.com/w3c/webauthn/1234/dafc308...379f7ab.html" title="Last updated on Jun 12, 2019, 11:22 AM UTC (379f7ab)">Diff</a>
See https://github.com/w3c/webauthn/pull/1234
Received on Wednesday, 12 June 2019 19:05:49 UTC