Skip to content

Minor fixes#13

Merged
rawalexe merged 4 commits intomainfrom
dev/misc
Jan 15, 2026
Merged

Minor fixes#13
rawalexe merged 4 commits intomainfrom
dev/misc

Conversation

@rawalexe
Copy link
Member

Issue #, if available:

Description of changes:

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

@rawalexe rawalexe changed the title Dev/misc Minor fixes Jan 15, 2026
@rawalexe rawalexe force-pushed the dev/misc branch 3 times, most recently from aa0b92e to bd00ab8 Compare January 15, 2026 20:57
felicityzhao9
felicityzhao9 previously approved these changes Jan 15, 2026
cookpate
cookpate previously approved these changes Jan 15, 2026
@rawalexe rawalexe dismissed stale reviews from cookpate and felicityzhao9 via 3eb3231 January 15, 2026 22:58
@rawalexe rawalexe force-pushed the dev/misc branch 2 times, most recently from bd00ab8 to 64eeb22 Compare January 15, 2026 23:14
@rawalexe rawalexe requested review from cookpate and felicityzhao9 and removed request for cookpate January 15, 2026 23:32
@rawalexe rawalexe merged commit 5b5d333 into main Jan 15, 2026
17 checks passed
@rawalexe rawalexe deleted the dev/misc branch January 15, 2026 23:32
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.

4 participants