PR #3075 editorial: fix [[Receptive]]

editorial: fix [[Receptive]] #3075

guidou merged 1 commit into w3c:main from fippo:receptive-editorial

editorial: fix [[Receptive]]

9d4189f4

henbos approved these changes on 2025-09-22

dontcallmedom added Editorial

guidou merged cd045291 into main 231 days ago

fippo deleted the receptive-editorial branch 223 days ago

Reviewers

henbos

Assignees

No one assigned

Labels

Editorial

Milestone

No milestone