[w3c/webauthn] 8d3761: Script updating gh-pages. [ci skip]

  Branch: refs/heads/gh-pages
  Home:   https://github.com/w3c/webauthn
  Commit: 8d37619bfb990d7f654a74aadd83fc838d0e6816
      https://github.com/w3c/webauthn/commit/8d37619bfb990d7f654a74aadd83fc838d0e6816
  Author: CI Bot <ci-bot@example.com>
  Date:   2016-05-12 (Thu, 12 May 2016)

  Changed paths:
    M index.html

  Log Message:
  -----------
  Script updating gh-pages. [ci skip]