- From: =JeffH via GitHub <sysbot+gh@w3.org>
- Date: Fri, 08 Jun 2018 17:52:12 +0000
- To: public-webauthn@w3.org
equalsJeffH has just submitted a new pull request 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 ....". And also because these are just warnings and are not apparently breaking the travisCI build. See https://github.com/w3c/webauthn/pull/944
Received on Friday, 8 June 2018 17:52:15 UTC