W3C home > Mailing lists > Public > public-webauthn@w3.org > October 2019

[webauthn] new commits pushed by equalsJeffH

From: =JeffH via GitHub <sysbot+gh@w3.org>
Date: Thu, 17 Oct 2019 22:15:10 +0000
To: public-webauthn@w3.org
Message-ID: <push-cc9540449205cd73751b62a1f5222e3971293949-1571350509-sysbot+gh@w3.org>

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

* editorial: fixup line-ending char, indentation, some section anchors
  by JeffH
https://github.com/w3c/webauthn/commit/cc9540449205cd73751b62a1f5222e3971293949
Received on Thursday, 17 October 2019 22:15:13 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 18:59:07 UTC