- From: =JeffH via GitHub <sysbot+gh@w3.org>
- Date: Mon, 30 Apr 2018 20:34:22 +0000
- To: public-webauthn@w3.org
wrt the failing build here, here's the error: ``` FATAL ERROR: Unknown inline tag 'non-' found: non-`null` ERR Did not generate, due to fatal errors ``` ..which one also gets when building the current master branch. In looking at how the WebIDL spec is formatted, it uses the term "non-null" as regular text without any special formatting, so perhaps we ought to just do the same thing and s/ non-`null` / non-null / ? Once that is done and merged-to-master then other branches that are failing on the same bug can be fixed by merging-from-master... -- GitHub Notification of comment by equalsJeffH Please view or discuss this issue at https://github.com/w3c/webauthn/pull/884#issuecomment-385520285 using your GitHub account
Received on Monday, 30 April 2018 20:34:25 UTC