W3C home > Mailing lists > Public > public-webauthn@w3.org > July 2020

[webauthn] new commits pushed by equalsJeffH

From: =JeffH via GitHub <sysbot+gh@w3.org>
Date: Wed, 29 Jul 2020 18:57:04 +0000
To: public-webauthn@w3.org
Message-ID: <push-0aef5bf065e48042251d1c8bba78f0684ab5b0e3-1596049022-sysbot+gh@w3.org>

The following commits were just pushed by equalsJeffH to https://github.com/w3c/webauthn:

* Fix spec-build errors (editorial)

we have a few loose-end editorial link-errors and unreferenced dfns, this addresses almost all of those. there's one link-error remaining, am not sure yet how to deal with it.
  by JeffH
https://github.com/w3c/webauthn/commit/0aef5bf065e48042251d1c8bba78f0684ab5b0e3



-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 29 July 2020 18:57:05 UTC

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