[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: 7f541a26c796fd90d1be02fe85332f25bed3c291 Addressed additional IESG comment by Magnus Westerlund (#1431)
  by Travis-CI
https://github.com/w3c/webauthn/commit/133a0530521997e7e77dff41679f0b968a322665

Received on Monday, 1 June 2020 18:09:18 UTC