[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: 4cc6257d66aba1ee1d4d78c6ad47270dcf3e0a16 Merge pull request #1222 from w3c/rp-ops-cleanup
  by Travis-CI
https://github.com/w3c/webauthn/commit/2b6d1e7f7ad7d7c5dd8f9295dff12e96f54cc93b

Received on Wednesday, 12 June 2019 19:14:09 UTC