Skip to content

git_vector_free -> git_vector_dispose? #6885

New issue
New issue
Closed
Closed
git_vector_free -> git_vector_dispose?#6885
@ethomson

Description

@ethomson
ethomson
opened on Sep 20, 2024

We don't actually free the git_vector, in keeping with our standard naming conventions, this should probably be git_vector_dispose.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions