[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/07ca17477ffdd1740d63acc4a33955cc8fafe35a

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