Skip to content

Various uses of simplify_node are unnecessary or wrong #4988

New issue
New issue
Closed
#5764
Closed
Various uses of simplify_node are unnecessary or wrong#4988
#5764
Labels
pending merge
@tautschnig

Description

@tautschnig
tautschnig
opened on Aug 6, 2019

See #4982 for comments, this issue is just for tracking purposes.

Metadata

Metadata

Assignees

No one assigned

    Labels

    pending merge

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions