[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: ef76c833d3c4884e928d7e8a8d848fc6d6a0f800 Merge 
pull request #201 from w3c/jeffh-editorial-cleanups
  by Travis-CI
https://github.com/w3c/webauthn/commit/c32af82da8d6dcea822a29e6722d662c7281b792

Received on Tuesday, 20 September 2016 08:33:13 UTC