[webauthn] new commits pushed by emlun

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

* Remove unused <dfn> from "indicates success"
  by Emil Lundberg
https://github.com/w3c/webauthn/commit/2331f54016a67174cd4470182e6fbac72a528c31

Received on Friday, 31 May 2019 15:51:02 UTC