[webauthn] new commits pushed by emlun

The following commits were just pushed by emlun to https://github.com/w3c/webauthn:

* Use <xmp> instead of <pre>, fixing CDDL highlighting

Using <pre> causes some single quotes in the CDDL examples to be converted into
"’" (U+2019) instead of "'" (U+0027), which is incorrect CDDL and also breaks
the CDDL syntax highlighting.

See the [Bikeshed documentation][1] for more on using `<xmp>`.

[1]: https://speced.github.io/bikeshed/#xmp
  by Emil Lundberg
https://github.com/w3c/webauthn/commit/ebfe871f78f5d5be6cefecabf5a723b119dacae2



-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Wednesday, 2 October 2024 20:41:36 UTC