Skip to content

chore: njson to json.#99

Merged
javiergarea merged 1 commit into
mainfrom
feat/njson_to_json
Apr 23, 2026
Merged

chore: njson to json.#99
javiergarea merged 1 commit into
mainfrom
feat/njson_to_json

Conversation

@mrrubinos

Copy link
Copy Markdown
Collaborator

No description provided.

@mrrubinos mrrubinos requested a review from javiergarea April 23, 2026 05:17
@github-project-automation github-project-automation Bot moved this to 📑 TODO in erf Apr 23, 2026
@github-project-automation github-project-automation Bot moved this from 📑 TODO to :shipit: In Progress in erf Apr 23, 2026
@javiergarea javiergarea merged commit 4d38004 into main Apr 23, 2026
2 checks passed
@github-project-automation github-project-automation Bot moved this from :shipit: In Progress to 🎉 Done in erf Apr 23, 2026
@javiergarea javiergarea deleted the feat/njson_to_json branch April 23, 2026 07:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: 🎉 Done

Development

Successfully merging this pull request may close these issues.

2 participants