Skip to content

Remove any deprecated terms #1380

@stevenchalem

Description

@stevenchalem

Remove any terms that were deprecated in any minor or patch releases that follow v14.0.0.

Metadata

Metadata

Assignees

No one assigned

    Labels

    effort: very lowRequires less than 1 hour to completeimpact: majorNon-backward compatible (changes inferences; e.g., adding a restriction, domain, range)

    Type

    No type

    Projects

    Status

    In Triage

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions