[webauthn] new commits pushed by emlun

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

* Remove unused <dfn>s from Table 2 in Authenticator Taxonomy
  by Emil Lundberg
https://github.com/w3c/webauthn/commit/af676cd58718aa86c697ab23579de6e440f002fc

* Add heading ID to WebAuthn Extensions Inputs and Outputs
  by Emil Lundberg
https://github.com/w3c/webauthn/commit/a16f6ab10f61d7739e05691a61925ea3bd8c4458

* Fix {{DOMException}} reference
  by Emil Lundberg
https://github.com/w3c/webauthn/commit/e5023e07b0d9a66e4b73b66a96757143c229ed23

* Remove unused biblio entries
  by Emil Lundberg
https://github.com/w3c/webauthn/commit/b7745b0f5de4cbb82adb3c5bea1a17c6ffc728be

* Fix warning about unused <dfn>resident key credential property</dfn>
  by Emil Lundberg
https://github.com/w3c/webauthn/commit/d4a4eac02109246259f7d1773ab3fc5ee492bde9

* Add explicit definition of credProps.rk values' meanings
  by Emil Lundberg
https://github.com/w3c/webauthn/commit/22f9016f3a6f569ca8f54c8374ad74439efd54bf

Received on Friday, 31 May 2019 15:32:44 UTC