[webauthn] new commits pushed by equalsJeffH

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

* remove some dfn tags from section headers, improves issue #936
  by JeffH
https://github.com/w3c/webauthn/commit/d6b1fb9e9a70666ad4da0a4a708455328dedeac4

Received on Friday, 8 June 2018 16:57:53 UTC