registry.el (prune-factor): New initialization parameter defaulting to 0.1.
(registry-prune-hard): Use it. gnus-registry.el (gnus-registry-fixup-registry): Set prune-factor to 0.1 expicitly.
Showing
Please register or sign in to comment