Skip to content

change how gnorm.org downloaded#72

Merged
johnjerrico merged 1 commit intomainfrom
bugfx/gnorm_down
Oct 1, 2025
Merged

change how gnorm.org downloaded#72
johnjerrico merged 1 commit intomainfrom
bugfx/gnorm_down

Conversation

@johnjerrico
Copy link
Member

No description provided.

@johnjerrico johnjerrico merged commit 489751b into main Oct 1, 2025
@johnjerrico johnjerrico deleted the bugfx/gnorm_down branch October 1, 2025 07:12
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