[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: 76f25149b970227fbe4960f379071962392a45c1 Replace <pre class="idl">s with <xmp>s (#949)
  by Travis-CI
https://github.com/w3c/webauthn/commit/ae36c37ffabf08e4c4450483aeb3f4facafab4c3

Received on Wednesday, 13 June 2018 16:24:42 UTC