Skip to content

Minor edits to infra #23

Merged
drbruced12 merged 2 commits intomasterfrom
bknits
Jul 14, 2025
Merged

Minor edits to infra #23
drbruced12 merged 2 commits intomasterfrom
bknits

Conversation

@drbruced12
Copy link
Contributor

No description provided.

@drbruced12
Copy link
Contributor Author

Added a couple of edits to those from Brad and reverted a couple.

@drbruced12 drbruced12 merged commit 1dfa77e into master Jul 14, 2025
1 check passed
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