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

[webauthn] Merged Pull Request: improve #936: existing linking lint

From: =JeffH via GitHub <sysbot+gh@w3.org>
Date: Tue, 12 Jun 2018 16:23:27 +0000
To: public-webauthn@w3.org
Message-ID: <pull_request.closed-193682300-1528820605-sysbot+gh@w3.org>
equalsJeffH has just merged equalsJeffH's pull request 944 for https://github.com/w3c/webauthn:

== improve #936: existing linking lint ==
This improves issue #936 by removing "unused" \<dfn> tags, and adding links to some terms' occurances. 

this does not address all the "Unexported dfn that's not referenced locally" **warnings** because the ones that remain will likely be addressed when cleaning up terminology such as "client-side ...." (issue #358).  And also because these are just warnings and are not apparently breaking the travisCI build.

    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/944.html" title="Last updated on Jun 11, 2018, 11:29 PM GMT (27ce6e4)">Preview</a> | <a href="https://pr-preview.s3.amazonaws.com/w3c/webauthn/944/b0ca15f...27ce6e4.html" title="Last updated on Jun 11, 2018, 11:29 PM GMT (27ce6e4)">Diff</a>

See https://github.com/w3c/webauthn/pull/944
Received on Tuesday, 12 June 2018 16:23:30 UTC

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