[webauthn] new commits pushed by emlun

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

* Replace [[FIDOReg]] with [[FIDO-Registry]]
  by Emil Lundberg
https://github.com/w3c/webauthn/commit/80e6df67a0fe4624a83d3b68e1aeb8f8312b7e45

* Add section headings to [[FIDO-Registry]] references
  by Emil Lundberg
https://github.com/w3c/webauthn/commit/164bce178a1bbae02cd121917efaaa833dd48ebe

* Merge pull request #897 from w3c/issue-894-new-fido-registry

Replace [[FIDOReg]] with [[FIDO-Registry]]
  by Emil Lundberg
https://github.com/w3c/webauthn/commit/1c3dd46e4952b15892a6ebfc4387c8e8369c35f0

Received on Wednesday, 9 May 2018 15:28:13 UTC