Skip to content

Conversation

bmcutler
Copy link
Member

@bmcutler bmcutler commented Oct 9, 2025

No description provided.

@bmcutler bmcutler merged commit 15ebc3e into main Oct 9, 2025
1 of 2 checks passed
@github-project-automation github-project-automation bot moved this to Seeking Reviewer in Submitty Development Oct 9, 2025
@bmcutler bmcutler deleted the bmcutler-patch-1 branch October 9, 2025 17:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

1 participant