Skip to content

bugfix wrong placement gnorm folder#73

Merged
johnjerrico merged 1 commit intomainfrom
bugfix/gnorm_folder
Oct 1, 2025
Merged

bugfix wrong placement gnorm folder#73
johnjerrico merged 1 commit intomainfrom
bugfix/gnorm_folder

Conversation

@johnjerrico
Copy link
Member

No description provided.

@johnjerrico johnjerrico merged commit 60214fc into main Oct 1, 2025
@johnjerrico johnjerrico deleted the bugfix/gnorm_folder branch October 1, 2025 07:16
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.

1 participant