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: Wed, 11 Oct 2017 17:57:28 +0000
To: public-webauthn@w3.org
Message-ID: <push-b335df55c77c87fec629ce501dd0435b95384d5f-1507744632-sysbot+gh@w3.org>


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

* fixed indent issue
  by rlin1
https://github.com/w3c/webauthn/commit/b335df55c77c87fec629ce501dd0435b95384d5f

Received on Wednesday, 11 October 2017 17:57:19 UTC

This message: [ Message body ]
Next message: GitHub: "[w3c/webauthn] b335df: fixed indent issue"
Previous message: GitHub: "[w3c/webauthn] ac8908: Plumb User ID through"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]
Help: [ How to use the archives ] [ Search in the archives ]

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