Eduard Heimbuch 97b32f3918 Clear caches if gpg key was added or deleted (#1701) ...

Clear more caches if GPG key was added or deleted. It seems quite difficult to find the right way to invalidate partial caches so for now we keep purging everything.

Maybe we could add an API to efficiently find out what parts of the cache can be removed.

Fixes #1668

2021-06-15 19:10:48 +02:00

..

src

Clear caches if gpg key was added or deleted (#1701)

2021-06-15 19:10:48 +02:00

build.gradle

Update guice to version 5.0.1 (#1673)

2021-05-27 09:26:29 +02:00