Minor cleanup #21

Merged
Mark merged 3 commits from cleanup into main 2025-03-02 19:36:20 -08:00
Owner
No description provided.
Mark added 2 commits 2025-03-02 14:53:51 -08:00
Mark scheduled this pull request to auto merge when all checks succeed 2025-03-02 14:54:00 -08:00
Mark force-pushed cleanup from 2d007357d4 to 6681724804 2025-03-02 19:26:44 -08:00 Compare
Mark merged commit 563dd990a5 into main 2025-03-02 19:36:20 -08:00
Sign in to join this conversation.
No Reviewers
No Label
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: Mark/handouts#21
No description provided.