Skip to content

Allow reserved extension declaration to specify full_name and type as long as they specify both#327

Merged
jhump merged 1 commit intomainfrom jh/extension-decls-can-have-name-and-type-when-reservedAug 7, 2024