Skip to content

Clarify that "or it is dropped" is meant restrictively#2035

Merged
ehuss merged 1 commit intomasterfrom
TC/make-dropped-clause-restrictive
Oct 6, 2025
Merged

Clarify that "or it is dropped" is meant restrictively#2035
ehuss merged 1 commit intomasterfrom
TC/make-dropped-clause-restrictive

Commits

Commits on Oct 5, 2025