Skip to content

rename 'close' command to 'delete'#95

Merged
imaman merged 3 commits intomainfrom
0943-fri-2026-04-03
Apr 3, 2026
Merged

rename 'close' command to 'delete'#95
imaman merged 3 commits intomainfrom
0943-fri-2026-04-03

Conversation

@imaman
Copy link
Copy Markdown
Owner

@imaman imaman commented Apr 3, 2026

No description provided.

@imaman imaman changed the title tbd rename 'close' command to 'delete'; have it carry out a catch-up step Apr 3, 2026
@imaman imaman changed the title rename 'close' command to 'delete'; have it carry out a catch-up step rename 'close' command to 'delete' Apr 3, 2026
@imaman imaman merged commit c865e8c into main Apr 3, 2026
1 check passed
@imaman imaman deleted the 0943-fri-2026-04-03 branch April 3, 2026 06:50
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.

1 participant