Tropical typos #9
Mark
commented 2025-01-25 09:29:21 -08:00
Owner
No description provided.
Mark
added 1 commit 2025-01-25 09:29:22 -08:00
Tropical typos
35ae9de83c
All checks were successful
CI / Typst formatting (pull_request) Successful in 10s
Details
CI / Typos (pull_request) Successful in 18s
Details
CI / Build (pull_request) Successful in 11m28s
Details
Mark
scheduled this pull request to auto merge when all checks succeed 2025-01-25 09:29:27 -08:00
Mark
merged commit 0734b4b8a9 into main 2025-01-25 09:41:12 -08:00
Loading…
x
Reference in New Issue
Block a user
No description provided.
Delete Branch "typos"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?