Skip to content
This repository was archived by the owner on Feb 22, 2022. It is now read-only.

Conversation

@pbiron
Copy link
Contributor

@pbiron pbiron commented May 17, 2020

Fixes #30.

Also no longer hooks to deleted_plugin, since that isn't necessary any more.

@pbiron pbiron added the enhancement New feature or request label May 17, 2020
@pbiron pbiron added this to the 0.8.1 milestone May 17, 2020
@pbiron pbiron self-assigned this May 17, 2020
@pbiron pbiron requested a review from azaozz May 17, 2020 17:06
Copy link
Contributor

@azaozz azaozz left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good. Some repeating code but it goes to different places in the core patch, thinking that's fine.

@pbiron pbiron merged commit 7fd47c2 into master May 17, 2020
@azaozz azaozz deleted the enhance/strip-deleted-plugins-themes branch May 17, 2020 22:27
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Deleting theme doesn't remove auto-update preference

3 participants