Skip to content

Dropping a definition on an usage from the explorer should type the usage #709

Closed
#710
Closed
Dropping a definition on an usage from the explorer should type the usage#709
#710
Assignees
gdaniel
Labels
difficulty: mediumpackage: common-view
Milestone
2024.9.0
@gdaniel

Description

@gdaniel
gdaniel
opened on Aug 30, 2024
No description provided.

Metadata

Metadata

Assignees

Labels

difficulty: mediumpackage: common-view

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions