Skip to content

Deduplicate Re-used Headers #354

Open
@avivkeller

Description

@avivkeller

(Follow-up #285)

Image

Cases like the one above should be de-duplicated into a single heading.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions