- 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