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

[webauthn] Pull Request: Replace <pre class="idl">s with <xmp>s

From: Emil Lundberg via GitHub <sysbot+gh@w3.org>
Date: Wed, 13 Jun 2018 16:17:01 +0000
To: public-webauthn@w3.org
Message-ID: <pull_request.opened-194641994-1528906619-sysbot+gh@w3.org>

emlun has just submitted a new pull request for https://github.com/w3c/webauthn:

== Replace <pre class="idl">s with <xmp>s ==
This fixes #943.

See https://github.com/w3c/webauthn/pull/949

Received on Wednesday, 13 June 2018 16:17:22 UTC

This message: [ Message body ]
Next message: Emil Lundberg via GitHub: "Re: [webauthn] use `<xmp>` uniformly for WebIDL fragments?"
Previous message: GitHub: "[w3c/webauthn] 5300df: Replace <pre class="idl">s with <xmp>s"
Next in thread: =JeffH via GitHub: "[webauthn] Merged Pull Request: Replace <pre class="idl">s with <xmp>s"
Reply: =JeffH via GitHub: "[webauthn] Merged Pull Request: Replace <pre class="idl">s with <xmp>s"
Reply: Emil Lundberg via GitHub: "Re: [webauthn] Replace <pre class="idl">s with <xmp>s"

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