Skip to content

Update Huet-Vaughn and Piqueras #53

New issue
New issue
Open
Open
Update Huet-Vaughn and Piqueras#53
Labels
modification
Milestone
2025.11.1: modifications
@benzipperer

Description

@benzipperer
benzipperer
opened on Aug 20, 2025

When latest draft is posted

Metadata

Metadata

Assignees

No one assigned

    Labels

    modification

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions