[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: 641949fd27a21a929fd17f2d3b95be1006120110 Merge pull request #637 from w3c/christiaanbrand-patch-1
  by Travis-CI
https://github.com/w3c/webauthn/commit/8adc6b53132d85eee53a750817dca5a34bfa9412

Received on Thursday, 12 October 2017 01:13:26 UTC