[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: db351cdea0e4e3efb9adb9b35c1ff1bd9b3cd319 Merge pull request #1055 from w3c/issue-1040-heading-case
  by Travis-CI
https://github.com/w3c/webauthn/commit/1aedd43dba36909dc1d0a95a7a1b97943a0f50c0

Received on Tuesday, 11 September 2018 11:10:14 UTC