Skip to content

Fix #991 - #1000

Open
abrudz wants to merge 1 commit into
mainfrom
991-deinstall---uninstall
Open

Fix #991#1000
abrudz wants to merge 1 commit into
mainfrom
991-deinstall---uninstall

Conversation

@abrudz

@abrudz abrudz commented Aug 11, 2026

Copy link
Copy Markdown
Member

Fixes #991

@abrudz
abrudz requested a review from FionaDyalog August 11, 2026 11:38
@abrudz abrudz linked an issue Aug 11, 2026 that may be closed by this pull request
@abrudz abrudz changed the title Fix #979 Fix #991 Aug 11, 2026
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.

deinstall -> uninstall

1 participant