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: Wed, 13 Jun 2018 16:23:38 +0000
To: public-webauthn@w3.org
Message-ID: <push-76f25149b970227fbe4960f379071962392a45c1-1528907017-sysbot+gh@w3.org>

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

* Replace <pre class="idl">s with <xmp>s (#949)

This fixes #943.
  by Emil Lundberg
https://github.com/w3c/webauthn/commit/76f25149b970227fbe4960f379071962392a45c1
Received on Wednesday, 13 June 2018 16:23:44 UTC

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