PR #3070 Remove allowance for undocumented stats

Remove allowance for undocumented stats #3070

henbos merged 1 commit into w3c:main from jan-ivar:mayundocumented

Remove allowance for undocumented stats

56abe8b7

jan-ivar requested a review from

alvestrand 197 days ago

jan-ivar requested a review from

youennf 197 days ago

jan-ivar requested a review from

henbos 197 days ago

jan-ivar requested a review from

guidou 197 days ago

jan-ivar assigned

jan-ivar 197 days ago

henbos approved these changes on 2025-09-04

henbos merged e0146ba8 into main 168 days ago

Reviewers

henbos

alvestrand

youennf

guidou

Assignees

jan-ivar

Labels

None yet

Milestone

No milestone