projects / mit-scheme.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 373b156) | patch
Make sure that groups are tracked after being unsubscribed so that
authorChris Hanson <org/chris-hanson/cph>
Mon, 14 Oct 1996 05:06:22 +0000 (05:06 +0000)
committerChris Hanson <org/chris-hanson/cph>
Mon, 14 Oct 1996 05:06:22 +0000 (05:06 +0000)
commit6c433059fdbd95c96369480bd052e8891f4d4f07
tree6bd187cd606e61e6f515c286b1c9c455cab1081btree | snapshot
parent373b1567db2c713c2a90909394f089a83415273ccommit | diff
Make sure that groups are tracked after being unsubscribed so that
they will be deleted from the groups list when their "article-seen"
information is irrelevant.  Save groups list whenever a group buffer
is killed, to help insure consistency between the groups list and the
header cache.
v7/src/edwin/snr.scm diff | blob | history
MIT/GNU Scheme, Pucked