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 accountReceived on Monday, 30 April 2018 20:34:25 UTC
This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 07:26:32 UTC