[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: 670ecb37e810efaa527f2068685315e32204912b Merge pull request #612 from emlun/vagrant-bikeshed
  by Travis-CI
https://github.com/w3c/webauthn/commit/f3477561f368a004dc2b4591f589f4a83f6e54c4

Received on Monday, 9 October 2017 23:16:36 UTC