[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: 3ad7ad71bae0b009fef626d5a7af9f22e418caf5 Merge pull request #1249 from w3c/issue-1197-rk
  by Travis-CI
https://github.com/w3c/webauthn/commit/f60ceac81cc3a2955bddebca2ad27b56287aeca6

Received on Wednesday, 17 July 2019 19:18:48 UTC