Skip to content

Wrong position info of tree node #20

Open
Open
Wrong position info of tree node#20
@jrfaller

Description

@jrfaller
jrfaller
opened on Jun 26, 2023

Just backporting an issue from GumTree's repo: GumTreeDiff/gumtree#280

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions