[webauthn] new commits pushed by WebAuthnBot

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

* Script updating gh-pages. [ci skip]
  by CI Bot
https://github.com/w3c/webauthn/commit/dadf0237ae59132dc7c84d79790148a1f4daf097

Received on Wednesday, 1 June 2016 16:04:42 UTC