The Revising W3C Process CG just discussed Editorial PRs to Review, and agreed to the following:
RESOLVED: Merge #757
The full IRC log of that discussion
<fantasai> Topic: Editorial PRs to Review
<fantasai> Subotpic: Wording of dismissal
<fantasai> s/Subotpic/Subtopc/
<fantasai> s/Subtopc/Subtopic
<fantasai> plh: Does indeed seem editorial
<fantasai> florian: We discussed how to do dismissals, but not what they're for
<fantasai> ... so this just rebalances the text
<fantasai> plh: any objections to merge?
<fantasai> github: https://lists.w3.org/Archives/Public/public-w3process/2023May/0001.html
<fantasai> github: https://github.com/w3c/w3process/pull/757
<fantasai> RESOLVED: Merge #757
Preview | Diff