[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: 9636ca2600c11d28aa124eb0ff1b121d8b8f9f9e Various
 minor technical fixes (#147)
  by Travis-CI
https://github.com/w3c/webauthn/commit/dd9a4d80f44bf457b20ed1e595fa1ce7423928c2

Received on Thursday, 28 July 2016 00:01:09 UTC