[jlreq] Pull Request: Errata fixes, for comments provided 2022/12

himorin has just submitted a new pull request for https://github.com/w3c/jlreq:

== Errata fixes, for comments provided 2022/12 ==
closes #353, #350, #352, #349, #348, #346, #347

See https://github.com/w3c/jlreq/pull/357


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

Received on Friday, 20 January 2023 08:52:22 UTC