Skip to content

Cleanup scattered and inconsistent use of id_sett #2090

Closed
@tautschnig

Description

@tautschnig

There was a proposal in #2075, but then #2082 created an opportunity to get rid of id_sett. See #2075 for discussion.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions