[webauthn] new commits pushed by equalsJeffH

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

* editorial: fixup line-ending char, indentation, some section anchors
  by JeffH
https://github.com/w3c/webauthn/commit/cc9540449205cd73751b62a1f5222e3971293949

Received on Thursday, 17 October 2019 22:15:13 UTC