[webauthn] new commits pushed by equalsJeffH

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

* polish
  by JeffH
https://github.com/w3c/webauthn/commit/71da528e3636d530d36e2fd138e34d9aa39e143c

Received on Friday, 6 July 2018 23:09:40 UTC