Skip to content
This repository was archived by the owner on Oct 16, 2020. It is now read-only.
This repository was archived by the owner on Oct 16, 2020. It is now read-only.

workspace/symbol result location should correspond to identifier #102

Open
@beyang

Description

@beyang

This fix is necessary for cross-repository hovers (see https://github.com/sourcegraph/sourcegraph/pull/4873)

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