Skip to content

Conversation

@bmcutler
Copy link
Member

@bmcutler bmcutler commented Mar 3, 2025

No description provided.

@github-project-automation github-project-automation bot moved this to Seeking Reviewer in Submitty Development Mar 3, 2025
@bmcutler bmcutler merged commit 2641d17 into main Mar 3, 2025
3 checks passed
@bmcutler bmcutler deleted the march_update branch March 3, 2025 05:31
@github-project-automation github-project-automation bot moved this from Seeking Reviewer to Done in Submitty Development Mar 3, 2025
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.

2 participants