- From: GitHub <noreply@github.com>
- Date: Thu, 20 Sep 2018 13:00:51 -0700
- To: public-webauthn@w3.org
- Message-ID: <5ba3fc733a086_2eb2b1aae2acecc36419@hookshot-fe-da92815.cp1-iad.github.net.mail>
Branch: refs/heads/master
Home: https://github.com/w3c/webauthn
Commit: 2af689eb2768b99092598b4aa976d4e0929f9a26
https://github.com/w3c/webauthn/commit/2af689eb2768b99092598b4aa976d4e0929f9a26
Author: J.C. Jones <jc@mozilla.com>
Date: 2018-09-20 (Thu, 20 Sep 2018)
Changed paths:
M index.bs
Log Message:
-----------
Fix #1076 - Don't confuse extension optionality in Sec 10
Language from Mike Jones in https://github.com/w3c/webauthn/issues/1076#issuecomment-423028041
Commit: ee934de2c8524528b5228af565eb724dc4ca952d
https://github.com/w3c/webauthn/commit/ee934de2c8524528b5228af565eb724dc4ca952d
Author: jfontana <jfontana@yubico.com>
Date: 2018-09-20 (Thu, 20 Sep 2018)
Changed paths:
M index.bs
Log Message:
-----------
Merge pull request #1083 from jcjones/1076-extension_marking
Fix #1076 - Don't confuse extension optionality in Sec 10
Compare: https://github.com/w3c/webauthn/compare/29bbee1b02de...ee934de2c852
**NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/
Functionality will be removed from GitHub.com on January 31st, 2019.
Received on Thursday, 20 September 2018 20:01:15 UTC