W3C home > Mailing lists > Public > public-webauthn@w3.org > December 2017

[webauthn] Merged Pull Request: Change id -> ID

From: J.C. Jones via GitHub <sysbot+gh@w3.org>
Date: Fri, 08 Dec 2017 15:18:45 +0000
To: public-webauthn@w3.org
Message-ID: <pull_request.closed-157260395-1512746324-sysbot+gh@w3.org>
jcjones has just merged emlun's pull request 722 for https://github.com/w3c/webauthn:

== Change id -> ID ==
@jcjones please review and merge.

    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/722.html" title="Last updated on Dec 8, 2017, 2:54 PM GMT (a7afbff)">Preview</a> | <a href="https://pr-preview.s3.amazonaws.com/w3c/webauthn/722/8ea5208...a7afbff.html" title="Last updated on Dec 8, 2017, 2:54 PM GMT (a7afbff)">Diff</a>

See https://github.com/w3c/webauthn/pull/722
Received on Friday, 8 December 2017 15:19:15 UTC

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