[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