[webauthn] Pull Request: fix publickey-credentials feature identifier tag from =JeffH via GitHub on 2019-09-16 (public-webauthn@w3.org from September 2019)

From: =JeffH via GitHub <sysbot+gh@w3.org>
Date: Mon, 16 Sep 2019 08:20:34 +0000
To: public-webauthn@w3.org
Message-ID: <pull_request.opened-317765362-1568622033-sysbot+gh@w3.org>

equalsJeffH has just submitted a new pull request for https://github.com/w3c/webauthn:

== fix publickey-credentials feature identifier tag ==
deja vu! (doh!) yet another loose-end in chaging from the feature-identifier token of `webauthn` to `publickey-credentials`

See https://github.com/w3c/webauthn/pull/1301

Received on Monday, 16 September 2019 08:20:35 UTC