[w3c/webauthn] 17efea: Script updating gh-pages. [ci skip]

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

  Changed paths:
    M index.html

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