[webauthn] Some editing cleanup following cred man merge

kpaulh has just created a new issue for https://github.com/w3c/webauthn:

== Some editing cleanup following cred man merge ==
Editorial cleanup for things like:
- extra backslash 4.1.3. '\[[Create]]
- [[discovery]] incorrectly in code font

Please view or discuss this issue at https://github.com/w3c/webauthn/issues/414 using your GitHub account

Received on Thursday, 20 April 2017 23:26:00 UTC