Skip to content

Chore/njson to json#115

Merged
javiergarea merged 2 commits into
mainfrom
chore/njson_to_json
Apr 22, 2026
Merged

Chore/njson to json#115
javiergarea merged 2 commits into
mainfrom
chore/njson_to_json

Conversation

@mrrubinos

Copy link
Copy Markdown
Contributor

No description provided.

@mrrubinos mrrubinos requested a review from javiergarea April 22, 2026 10:15
@javiergarea javiergarea merged commit e67f44a into main Apr 22, 2026
2 checks passed
@javiergarea javiergarea deleted the chore/njson_to_json branch April 22, 2026 16:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants