[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: 625bd7acf014bb1664d2b8852883d83dba96b944 Merge pull request #651 from jovasco/patch-1
  by Travis-CI
https://github.com/w3c/webauthn/commit/ca6a49e438e7374439d0d052a15df4a3f779056a

Received on Friday, 3 November 2017 16:29:17 UTC