[webauthn] new commits pushed by equalsJeffH

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

* finish (one hopes) work on #discover-from-external-source alg to fix #254
  by JeffH
https://github.com/w3c/webauthn/commit/0cda621bac20e25f780776ca53c5598fc9600983

* minor editorial
  by JeffH
https://github.com/w3c/webauthn/commit/1a606eb2851520971da7c2e8be0c0b8896b77319

Received on Monday, 30 October 2017 19:03:10 UTC