Skip to content

Conversation

bmcutler
Copy link
Member

fixing goto/auto typo introduced in PR #50

Barb Cutler and others added 3 commits June 16, 2025 13:28
@bmcutler bmcutler merged commit 53d7a6b into main Jun 17, 2025
1 check passed
@bmcutler bmcutler deleted the update_docker_usage branch June 17, 2025 05:31
@github-project-automation github-project-automation bot moved this from Seeking Reviewer to Done in Submitty Development Jun 17, 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.

1 participant