diff options
author | Justin Velluppillai <justin@innocraft.com> | 2021-08-30 00:55:34 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-08-30 00:55:34 +0300 |
commit | 5d4925d6cde7a71ebeafeddf47357f9455dc9647 (patch) | |
tree | 5c9f7795d716dad59d6b0338d1221577887228cf /plugins | |
parent | c2ab6e589636fdbe0b550486b4a9ac61cbfa37bc (diff) |
If a usable archive exists and the invalidation is for a specific plugin, delete the invalidation (#17918)
* If a usable archive exists and the invalidation is for a specific plugin, delete the invalidation so it doesn't stay for ever
* Improve logging text and add a simple test
* Minor improvements from code review
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions