Skip to content

Is hjson needed? #283

Open
Open
Is hjson needed?#283
Labels
AnnoyanceSomething annoying (not a bug)

Description

@MosheSteinberg
MosheSteinberg
opened on Jan 5, 2026

Noticed that the hjson library is included as a dependency here, imported to util.py and then never used. Can it be removed?

Activity

  1. github-actions commented on Jan 5, 2026

    @github-actions
    github-actionsbot
    on Jan 5, 2026 – with GitHub Actions

    Welcome to this project and thank you!

  2. fralau
    added
    AnnoyanceSomething annoying (not a bug)
    on Jan 5, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    AnnoyanceSomething annoying (not a bug)

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions