[webauthn] new commits pushed by emlun

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

* Replace <pre class="idl">s with <xmp>s

This fixes #943.
  by Emil Lundberg
https://github.com/w3c/webauthn/commit/5300df31baab4b7bd792365caf22dc218aefedfd

Received on Wednesday, 13 June 2018 16:16:45 UTC