Skip to content

merge [re.def] into Clause 3 #4283

@zygoloid

Description

@zygoloid

We missed another "Terms and Definitions"-like subclause when merging together all such sections. We should merge [re.def] into Clause 3.

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions