[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: c9e08303098a0d6010b77b58e13f3c71dd843e36 Config
  by Travis-CI
https://github.com/w3c/webauthn/commit/5237aa375df31fb7bf15fb153855ef704fa1f1bc

Received on Thursday, 18 October 2018 00:47:27 UTC