[webauthn] new commits pushed by equalsJeffH

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

* coalesce HTML refs (#1243)

* fix #996 coalesce HTML refs

* delete obsolete HTML53 anchor block

* fix incorrect dfn links, thx emlun!
  by =JeffH
https://github.com/w3c/webauthn/commit/a1f635032b104f4cc8f05ef8f165443bd17c9916

* Merge branch 'master' into issue-1247-use-cases-polish
  by JeffH
https://github.com/w3c/webauthn/commit/b194d3e10bc6a70ce520e51211271f6f897729e8

Received on Thursday, 27 June 2019 21:46:00 UTC