devshells: cleanup #888

Merged
clan-bot merged 1 commits from DavHau-dave into main 2024-03-02 04:58:32 +00:00
Owner
No description provided.
clan-bot was assigned by DavHau 2024-03-02 04:55:57 +00:00
DavHau added 1 commit 2024-03-02 04:55:57 +00:00
devshells: cleanup
All checks were successful
checks / check-links (pull_request) Successful in 22s
checks / checks-impure (pull_request) Successful in 1m57s
checks / checks (pull_request) Successful in 2m23s
f7bb5d7aaf
clan-bot merged commit 8c7db195ab into main 2024-03-02 04:58:32 +00:00
Sign in to join this conversation.
No reviewers
No Milestone
No project
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: clan/clan-core#888
No description provided.