+2005-02-11 Teodor Zlatanov <tzz@lifelogs.com>
+
+ * gnus-registry.el (gnus-registry-delete-group): small bug leaves
+ an ID in the registry even if it has no groups
+
2005-02-10 Katsumi Yamaoka <yamaoka@jpl.org>
* gnus-art.el (gnus-mime-jka-compr-maybe-uncompress): Remove;
(when gnus-registry-trim-articles-without-groups
(unless (gnus-registry-group-count id)
(gnus-registry-delete-id id)))
- (gnus-registry-store-extra-entry id 'mtime (current-time)))))
+ ;; is this ID still in the registry?
+ (when (gethash id gnus-registry-hashtb)
+ (gnus-registry-store-extra-entry id 'mtime (current-time))))))
(defun gnus-registry-delete-id (id)
"Delete a message ID from the registry."