[webauthn] new commits pushed by equalsJeffH

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

* delete obsolete HTML53 anchor block
  by JeffH
https://github.com/w3c/webauthn/commit/0ef7c314be578c73ca4a44c4c7293fd5cbfd06cc

Received on Wednesday, 26 June 2019 16:34:47 UTC