[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: 33ac796035b250d29ddf056ac044319825128104 Merge pull request #695 from gmandyam/master4
  by Travis-CI
https://github.com/w3c/webauthn/commit/e33f9f1680ffec3892dd9783e08d78111058fb46

Received on Thursday, 7 December 2017 02:13:40 UTC