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

[webauthn] new commits pushed by rlin1

From: Rolf Lindemann via GitHub <sysbot+gh@w3.org>
Date: Thu, 12 Oct 2017 11:37:53 +0000
To: public-webauthn@w3.org
Message-ID: <push-f8acadf45076bf60aba84dec418efe8adbf96fb0-1507808257-sysbot+gh@w3.org>

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

* fix indent error
  by rlin1
https://github.com/w3c/webauthn/commit/f8acadf45076bf60aba84dec418efe8adbf96fb0
Received on Thursday, 12 October 2017 11:37:41 UTC

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