W3C home > Mailing lists > Public > public-webauthn@w3.org > June 2018

[webauthn] new commits pushed by equalsJeffH

From: =JeffH via GitHub <sysbot+gh@w3.org>
Date: Fri, 08 Jun 2018 16:57:51 +0000
To: public-webauthn@w3.org
Message-ID: <push-d6b1fb9e9a70666ad4da0a4a708455328dedeac4-1528477070-sysbot+gh@w3.org>


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

* remove some dfn tags from section headers, improves issue #936
  by JeffH
https://github.com/w3c/webauthn/commit/d6b1fb9e9a70666ad4da0a4a708455328dedeac4

Received on Friday, 8 June 2018 16:57:53 UTC

This message: [ Message body ]
Next message: GitHub: "[w3c/webauthn] d6b1fb: remove some dfn tags from section headers, improve..."
Previous message: =JeffH via GitHub: "Re: [webauthn] bikeshed now catching existing lint in master->index.bs"

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:33 UTC